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. © 2012 Springer-Verlag.
CITATION STYLE
Lin, S. W., Liu, Y., Sun, J., Dong, J. S., & André, É. (2012). Automatic compositional verification of timed systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7436 LNCS, pp. 272–276). https://doi.org/10.1007/978-3-642-32759-9_24
Mendeley helps you to discover research relevant for your work.