team
contact
software
publications
teaching
jobs
[ artifact ]
AMulet 2.0 Artifcat
This page provides access to the artifact of our 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 at TACAS
2021.
Artifact
The artifact is tested using the TACAS 21 Artifact Evaluation VM, available at zenodo.org.[ artifact.zip ] artifact