Name
Abstract | ||
|---|---|---|
In this paper we show that multi-terminal BDDs (MTBDDs) are well suited to represent and manipulate interval based timed transition systems. For many timed verification tasks efficient MTBDD-based algorithms are presented. This comprises the composition of timed structures based on symbolic techniques, heuristics for state variable minimization, and a symbolic model checking algorithm. Experimental results show that in many cases our approach outperforms standard unit-delay approaches and corresponding timed automata models. |
Year | DOI | Venue |
|---|---|---|
1998 | 10.1007/3-540-49519-3_13 | FMCAD |
Keywords | Field | DocType |
automata model,verification task,symbolic technique,symbolic model checking algorithm,state variable minimization,standard unit-delay approach,model checking,transition system,real-time systems,efficient mtbdd-based algorithm,multi-terminal bdds,real time systems | Transition system,Model checking,Computer science,Binary decision diagram,Theoretical computer science,Real-time computing,Heuristics,State variable,Discrete mathematics,Automaton,Algorithm,Finite-state machine,First-order logic | Conference |
ISBN | Citations | PageRank |
3-540-65191-8 | 7 | 0.60 |
References | Authors | |
15 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jürgen Ruf | 1 | 122 | 23.04 |
| Thomas Kropf | 2 | 326 | 59.09 |