Please use this identifier to cite or link to this item:
https://doi.org/10.1007/978-3-642-32759-9_24
DC Field | Value | |
---|---|---|
dc.title | Automatic compositional verification of timed systems | |
dc.contributor.author | Lin, S.-W. | |
dc.contributor.author | Liu, Y. | |
dc.contributor.author | Sun, J. | |
dc.contributor.author | Dong, J.S. | |
dc.contributor.author | André, É. | |
dc.date.accessioned | 2013-07-23T09:26:45Z | |
dc.date.available | 2013-07-23T09:26:45Z | |
dc.date.issued | 2012 | |
dc.identifier.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. <a href="https://doi.org/10.1007/978-3-642-32759-9_24" target="_blank">https://doi.org/10.1007/978-3-642-32759-9_24</a> | |
dc.identifier.isbn | 9783642327582 | |
dc.identifier.issn | 03029743 | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/43165 | |
dc.description.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. | |
dc.description.uri | http://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-642-32759-9_24 | |
dc.source | Scopus | |
dc.type | Conference Paper | |
dc.contributor.department | COMPUTER SCIENCE | |
dc.contributor.department | TEMASEK LABORATORIES | |
dc.description.doi | 10.1007/978-3-642-32759-9_24 | |
dc.description.sourcetitle | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |
dc.description.volume | 7436 LNCS | |
dc.description.page | 272-276 | |
dc.identifier.isiut | NOT_IN_WOS | |
Appears in Collections: | Staff Publications |
Show simple 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.