Please use this identifier to cite or link to this item: https://doi.org/10.1109/ISSRE.2011.19
Title: PAT 3: An extensible architecture for building multi-domain model checkers
Authors: Liu, Y. 
Sun, J.
Dong, J.S. 
Keywords: Model Checker
PAT
Software Framework
Issue Date: 2011
Source: Liu, Y., Sun, J., Dong, J.S. (2011). PAT 3: An extensible architecture for building multi-domain model checkers. Proceedings - International Symposium on Software Reliability Engineering, ISSRE : 190-199. ScholarBank@NUS Repository. https://doi.org/10.1109/ISSRE.2011.19
Abstract: Model checking is emerging as an effective software verification method. Although it is desirable to have a dedicated model checker for each application domain, implementing one is rather challenging. In this work, we develop an extensible and integrated architecture in PAT3 (PAT version 3.*) to support the development of model checkers for wide range application domains. PAT3 adopts a layered design with an intermediate representation layer (IRL), which separates modeling languages from model checking algorithms so that the algorithms can be shared by different languages. IRL contains several common semantic models to support wide application domains, and builds both explicit model checking and symbolic model checking under one roof. PAT3 architecture provides extensibility in many possible aspects: modeling languages, model checking algorithms, reduction techniques and even IRLs. Various model checkers have been developed under this new architecture in recent months. This paper discusses the structure and extensibility of this new architecture. © 2011 IEEE.
Source Title: Proceedings - International Symposium on Software Reliability Engineering, ISSRE
URI: http://scholarbank.nus.edu.sg/handle/10635/43163
ISBN: 9780769545684
ISSN: 10719458
DOI: 10.1109/ISSRE.2011.19
Appears in Collections:Staff Publications

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

SCOPUSTM   
Citations

38
checked on Dec 14, 2017

WEB OF SCIENCETM
Citations

26
checked on Nov 20, 2017

Page view(s)

54
checked on Dec 10, 2017

Google ScholarTM

Check

Altmetric


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