HTTP/2 302 content-type: text/html; charset=utf-8 location: //fmv.jku.at/amulet/ vary: Origin x-request-id: 01KF39684VWG8E2X69BMKM1NEZ content-length: 43 date: Fri, 16 Jan 2026 11:31:29 GMT HTTP/2 200 accept-ranges: bytes cache-control: max-age=600 content-type: text/html; charset=utf-8 etag: "6eb996eab52cf1ece84e8bcdf0c9098455aa98f8d4214cdc612732cacd3708a8" expires: Fri, 16 Jan 2026 12:41:29 CET last-modified: Thu, 25 Sep 2025 14:38:37 GMT vary: Origin x-request-id: 01KF39689WTRJ0TQ353TEDR82A content-length: 6432 date: Fri, 16 Jan 2026 11:31:29 GMT

TNF / INF FMV team contact software publications teaching jobs

[  news | paper | experiments ] AMulet This page provides access to evaluate the experiments described in our paper at FMCAD 2019. News AMulet is now available at GitHub. Paper Daniela Kaufmann, Armin Biere, Manuel Kauers. Verifying Large Multipliers by Combining SAT and Computer Algebra. In Proc. 19th Intl. Conf. on Formal Methods in Computer Aided Design (FMCAD'19), pages 28-36, IEEE 2019. [ paper | bibtex ] Experiments [ KaufmannBiereKauers-FMCAD-19-src.tar.xz ] source code (541 KB) [ KaufmannBiereKauers-FMCAD-19-data.tar.xz ] data (141 KB) [ KaufmannBiereKauers-FMCAD-19-benchmarks.tar.xz ] benchmarks (25.7 MB)