Institute for
Formal Models
and Verification

Public appearance at JKU on May 21st.

We are organizing the International Workshop on
Quantified Boolean Formulas 2013 QBF 2013
this July.

First source code release of JNuke.
A program analysis framework for Java.

Lecture by Egon Börger at FH Hagenberg
also open to JKU students.

We support a student exchange program
between Austria and Ukraine.

We helped to organize the
Haifa Verification Conference HVC'12.

Organized HWMCC'12 affiliated to FMCAD'12.

In last year's SMT competition, our SMT-solver
Boolector won first places for bit-vectors and also
for bit-vectors with arrays.

We helped to organize a Workshop on
Comparative Empirical Evaluation
of Reasoning Systems COMPARE'12
which was affiliated to IJCAR'12.