JKU

TNF / INF

team
contact
software
publications
teaching
jobs


GI-Dissertation Award 2020

FMCAD'20 Student Forum Best Student Contribution

SAT'20 Best Presentation Award

GCAI'19 Post and Interaction Award

IJCAI-JAIR 2019 Award

SAT'19 Best Student Paper

CAV'18 Award

HVC'17 Best Paper

ETAPS'17 Test of Time Award

HVC'15 Award

FMCAD'17 Best Paper

CADE'17 Best Paper

BMC

Handbook of Satisfiability

UML@Classroom

UML@Classroom

www.digitaltechnik.org

[  artifact | paper | artifact ]

AMulet 2.0

This page provides access to AMulet 2.

Source code

The maintained version of AMulet2 can be found on GitHub.

AMulet2.1 - STTT 2022

The updated version AMulet2.1 is described in our upcoming article at STTT.

Artifact

The complete artifact for AMulet2.1 including source code, benchmarks and experimental data can be downloaded as amulet2_1.tar.xz

AMulet2.0 - TACAS 2021

AMulet 2.0 is described in our paper at 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), pages 357-364, 2021.
[ paper | bibtex | artifact ]

Artifact

The complete artifact for AMulet2.0 including source code, benchmarks and experimental data can be found here.