Please use this identifier to cite or link to this item:
|Title:||Automatic compositional verification of timed systems||Authors:||Lin, S.-W.
|Issue Date:||2012||Citation:||Lin, S.-W.,Liu, Y.,Sun, J.,Dong, J.S.,André, É. (2012). Automatic compositional verification of timed systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7436 LNCS : 272-276. ScholarBank@NUS Repository. https://doi.org/10.1007/978-3-642-32759-9_24||Abstract:||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.||Source Title:||Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)||URI:||http://scholarbank.nus.edu.sg/handle/10635/43165||ISBN:||9783642327582||ISSN:||03029743||DOI:||10.1007/978-3-642-32759-9_24|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.