Bounded Model Checking and Inductive Verification of Hybrid Discrete-Continuous Systems |
|
| Keywords | Hybrid system verification; bounded model checking; inductive verification; verification engines; BDD, SAT, and LP |
| Type | Conference paper [With referee] |
| Conference | GI/ITG/GMM Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" |
| Year | 2004 Month February |
| Publisher | Informatics and Mathematical Modelling, Technical University of Denmark, DTU |
| Address | Richard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby |
| Series | - to be negotiated - |
| Electronic version(s) | [pdf] |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |