Documentation

Publications

Conference and Workshop Proceedings

Eisinger J. and Klaedtke F. "Don't care words with an application to the automata-based approach for real addition". 18th International Conference on Computer Aided Verification. LNCS 4144. pp 67-80. Springer-Verlag, 2006. [PDF]
Becker B., Dax C., Eisinger J. and Klaedtke F. "LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals". 19th International Conference on Computer Aided Verification. LNCS 4590. pp 312-315. Springer-Verlag, 2007. [PDF] [Homepage]
Dax C., Eisinger J. and Klaedtke F. "Mechanizing the Powerset Construction for Restricted Classes of ω-Automata". 5th International Symposium on Automated Technology for Verification and Analysis. LNCS 4762. pp 223-236. Springer-Verlag, 2007. [PDF] [Homepage]

Technical Reports

Eisinger J. and Klaedtke F. "Don't care words with an application to the automata-based approach for real addition". Tech. Rep. 223, Institut für Informatik, Universität Freiburg, 2006. [PDF] [Homepage]
Dax C., Eisinger J. and Klaedtke F. "Mechanizing the Powerset Construction for Restricted Classes of ω-Automata". Tech. Rep. 228, Institut für Informatik, Universität Freiburg, 2007. [PDF]

Please refer to our AVACS Gforge site for the bug tracking system.