Publications

2005
DOI
[bibtex]
Erika Abraham, Bernd Becker, Felix Klaedke, Martin Steffen. Optimizing Bounded Model Checking for Linear Hybrid Systems. Verification, Model Checking, and Abstract Interpretation (VMCAI'05), Volume 3385 of LNCS, pages 396–412, Springer Berlin Heidelberg, 2005.
2004

[bibtex]
Erika Abraham, Bernd Becker, Felix Klaedke, Martin Steffen. Optimizing Bounded Model Checking for Linear Hybrid Systems. Technical report at Albert-Ludwigs-Universität Freiburg, Fakultät für Angewandte Wissenschaften, Institut für Informatik number TR214, 2004.