BMC für lineare hybride Systeme
| Beteiligte Mitarbeiter | Publikationen
|
| ehemaliger Mitarbeiter Lehrstuhl ür Rechnerarchitektur | |
| Erika Ábrahám, Dr. | Kontakt |
|
Erika Ábrahám, Dr., Marc Herbstritt, Dr., Bernd Becker, Prof. Dr., M. Steffen Bounded Model Checking with Parametric Data Structures Proceedings of Fourth International Workshop on Bounded Model Checking (BMC), Seattle, USA, August 15. 2006 |
|
Erika Ábrahám, Dr., Bernd Becker, Prof. Dr., Felix Klaedtke, Dr., M. Steffen Optimizing Bounded Model Checking for Linear Hybrid Systems 6th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2005), pp.396--412, 2005 |