team
contact
software
publications
teaching
jobs
AMulet 2.0
This page provides access to AMulet 2.0, described in our paper submitted to TACAS 2021.
Paper
Daniela Kaufmann and Armin Biere. AMulet 2.0 for
Verifying Multiplier Circuits.
In Proc. 14th Intl. Conference on Tools and Algorithms
for the Construction and Analysis of Systems (TACAS), 8 pages,
To Appear.
[ paper |
bibtex |
artifact ]
Source code
The maintained version of AMulet 2.0 can be found on GitHub.[ amulet2.tar.xz ] source code from submission