Automaten-basierte Verifikation
| project staff | publications
|
| former employee Chair of Computer Architecture | |
| Jochen Eisinger, Dr. | Contact |
|
Jochen Eisinger, Dr., Felix Klaedtke, Dr. 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. |
|
Bernd Becker, Prof. Dr., C. Dax, Jochen Eisinger, Dr., Felix Klaedtke, Dr. 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. |
|
C. Dax, Jochen Eisinger, Dr., Felix Klaedtke, Dr. 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 |