Automatic compositional verification of timed systems
Author(s)
Lin, SW
Liu, Y
Sun, J
Dong, JS
André, E
Griffith University Author(s)
Year published
2012
Metadata
Show full item recordAbstract
Specification and verification of real-time systems are important research topics with crucial applications; however, the so-called state space explosion problem often prevents model checking to be used in practice for large systems. In this work, we present a self-contained toolkit to analyze real-time systems specified using event-recording automata (ERAs), which supports system modeling, animated simulation, and fully automatic compositional verification based on learning techniques. Experimental results show that our tool outperforms the state-of-the-art timed model checker.Specification and verification of real-time systems are important research topics with crucial applications; however, the so-called state space explosion problem often prevents model checking to be used in practice for large systems. In this work, we present a self-contained toolkit to analyze real-time systems specified using event-recording automata (ERAs), which supports system modeling, animated simulation, and fully automatic compositional verification based on learning techniques. Experimental results show that our tool outperforms the state-of-the-art timed model checker.
View less >
View less >
Journal Title
Lecture Notes in Computer Science
Volume
7436 LNCS
Subject
Software engineering not elsewhere classified