Please use this identifier to cite or link to this item: https://doi.org/10.1109/TASE.2008.12
DC FieldValue
dc.titleBounded model checking of compositional processes
dc.contributor.authorSun, J.
dc.contributor.authorLiu, Y.
dc.contributor.authorDong, J.S.
dc.contributor.authorSun, J.
dc.date.accessioned2013-07-04T07:55:47Z
dc.date.available2013-07-04T07:55:47Z
dc.date.issued2008
dc.identifier.citationSun, J., Liu, Y., Dong, J.S., Sun, J. (2008). Bounded model checking of compositional processes. Proceedings - 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008 : 23-30. ScholarBank@NUS Repository. https://doi.org/10.1109/TASE.2008.12
dc.identifier.isbn9780769532493
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/40061
dc.description.abstractVerification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional process algebras is, however, not a trivial task. One challenge is that the number of system states for process algebra models is not statically known, whereas exploring the full state space is computationally expensive. This paper presents a compositional encoding of hierarchical processes as SAT problems and then applies state-of-the-art SAT solvers for bounded model checking. The encoding avoids exploring the full state space for complex systems so as to deal with state space explosion. We developed an automated analyzer which combines complementing model checking techniques (i.e., bounded model checking and explicit on-the-fly model checking) to validate system models against event-based temporal properties. The experiment results show the analyzer handles large systems. © 2008 IEEE.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1109/TASE.2008.12
dc.sourceScopus
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.1109/TASE.2008.12
dc.description.sourcetitleProceedings - 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008
dc.description.page23-30
dc.identifier.isiut000257510400004
Appears in Collections:Staff Publications

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

SCOPUSTM   
Citations

13
checked on Sep 24, 2020

WEB OF SCIENCETM
Citations

8
checked on Sep 24, 2020

Page view(s)

98
checked on Sep 22, 2020

Google ScholarTM

Check

Altmetric


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