Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 

BMC für lineare hybride Systeme

| Beteiligte Mitarbeiter | Publikationen |


Beteiligte Mitarbeiter

ehemaliger Mitarbeiter Lehrstuhl ür Rechnerarchitektur
Erika Ábrahám, Dr. Kontakt


Publikationen
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