19 search results - page 1 / 4 » Rabbit: A Tool for BDD-Based Verification of Real-Time Syste... |
CAV
2003
Springer
13 years 8 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
RTCSA
1998
IEEE
13 years 9 months ago
1998
IEEE
HYBRID
1995
Springer
13 years 8 months ago
1995
Springer
CAV
2001
Springer
13 years 8 months ago
2001
Springer
DATESO
2010
13 years 2 months ago
2010
Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as wel...