Title: | Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems |
---|---|
Links: | Document as PDF |
Authors: | Bernd Becker |
Markus Behle | |
Fritz Eisenbrand | |
Martin Fraenzle | |
Marc Herbstritt | |
Christian Herde | |
Joerg Hoffmann | |
Daniel Kroening EMail | |
Bernhard Nebel | |
Ilia Polian | |
Ralf Wimmer | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{ber-bec2004, AUTHOR = { Becker, Bernd and Behle, Markus and Eisenbrand, Fritz and Fraenzle, Martin and Herbstritt, Marc and Herde, Christian and Hoffmann, Joerg and Kroening, Daniel and Nebel, Bernhard and Polian, Ilia and Wimmer, Ralf }, TITLE = { Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems }, BOOKTITLE = { ITG/GI/GMM-Workshop 'Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen' }, YEAR = { 2004 }, PAGES = { 65--75 }, ISBN = { 3-8322-2486-6 }, MONTH = { February }, EDITOR = { Dominik Stoffel and Wolfgang Kunz }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.