Please use this identifier to cite or link to this item: https://doi.org/10.1007/978-3-642-10373-5_22
DC FieldValue
dc.titleScalable multi-core model checking fairness enhanced systems
dc.contributor.authorLiu, Y.
dc.contributor.authorSun, J.
dc.contributor.authorDong, J.S.
dc.date.accessioned2013-07-04T07:54:42Z
dc.date.available2013-07-04T07:54:42Z
dc.date.issued2009
dc.identifier.citationLiu, Y.,Sun, J.,Dong, J.S. (2009). Scalable multi-core model checking fairness enhanced systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5885 LNCS : 426-445. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-10373-5_22" target="_blank">https://doi.org/10.1007/978-3-642-10373-5_22</a>
dc.identifier.isbn3642103723
dc.identifier.issn03029743
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/40013
dc.description.abstractRapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms. The Linear Temporal Logic (LTL) model checking problem is one of the difficult problems to be parallelized or scaled up to multi-core. In this work, we propose an onthe- fly parallel model checking algorithm based on the Tarjan's strongly connected components (SCC) detection algorithm. The approach can be applied to general LTL model checking or with different fairness assumptions. Further, it is orthogonal to state space reduction techniques like partial order reduction. We enhance our PAT model checker with the technique and show its usability via the automated verification of several real-life systems. Experimental results show that our approach is scalable, especially when a system search space contains many SCCs. © Springer-Verlag Berlin Heidelberg 2009.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1007/978-3-642-10373-5_22
dc.sourceScopus
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.1007/978-3-642-10373-5_22
dc.description.sourcetitleLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.description.volume5885 LNCS
dc.description.page426-445
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

14
checked on Apr 8, 2020

Page view(s)

99
checked on Mar 31, 2020

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.