Name
Title | ||
|---|---|---|
Bounded Model Checking and Inductive Verication of Hybrid Discrete-continuous Systems |
Abstract | ||
|---|---|---|
We present a concept to signic antly advance the state of the art for bounded model checking (BMC) and inductive veric ation (IV) of hybrid discrete-continuous systems. Our approach combines the expertise of partners coming from dier ent domains, like hybrid systems modeling and digital circuit veric ation, bounded plan- ning and heuristic search, combinatorial optimization and integer programming. Af- ter sketching the overall veric ation ow we present rst results indicating that the combination and tight integration of dier ent veric ation engines is a rst step to pave the way to fully automated BMC and IV of medium to large-scale networks of hybrid automata. |
Year | Venue | Keywords |
|---|---|---|
2004 | MBMV | inductive verica- tion,bounded model checking,verication engines,hybrid system verication,heuristic search,combinatorial optimization,hybrid system,digital circuits |
Field | DocType | Citations |
Model checking,Theoretical computer science,Hybrid system,Mathematics,Bounded function | Conference | 3 |
PageRank | References | Authors |
0.44 | 8 | 13 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| B. Becker | 1 | 191 | 21.44 |
| markus behle | 2 | 34 | 2.43 |
| Friedrich Eisenbrand | 3 | 726 | 53.74 |
| Martin Fränzle | 4 | 786 | 61.58 |
| Marc Herbstritt | 5 | 136 | 11.01 |
| Christian Herde | 6 | 338 | 15.19 |
| Jörg Hoffmann | 7 | 2702 | 189.88 |
| daniel kroning | 8 | 3 | 0.44 |
| Bernhard Nebel | 9 | 4019 | 565.71 |
| Ilia Polian | 10 | 889 | 78.66 |
| Ralf Wimmer | 11 | 407 | 34.28 |
| Dominik Stoffel | 12 | 176 | 28.93 |
| wolfgang kunz | 13 | 3 | 0.44 |