Developing model checkers using PAT

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6252 LNCS, Issue , 2010, Pages 371-377

  Liu, Yang ^a   Sun, Jun ^a   Dong, Jin Song ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTION TECHNIQUES; APPLICATION DOMAINS; ART MODEL; CONCURRENT SYSTEMS; DOMAIN SPECIFIC; EXTENSIBLE FRAMEWORK; GRAPHIC USER INTERFACE; LANGUAGE SYNTAX; MODEL CHECKER; MODEL CHECKING ALGORITHM; PROBABILISTIC SYSTEMS; REDUCTION TECHNIQUES; SIMULATION AND TESTING; STATE-SPACE REDUCTION; SYSTEM ANALYSIS;

COMPUTER SIMULATION; MATHEMATICAL MODELS; REAL TIME SYSTEMS; USER INTERFACES; WEB SERVICES; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; INTERACTIVE COMPUTER SYSTEMS; INTERFACE STATES; SEMANTICS;

MODEL CHECKING;

EID: 78049339327     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15643-4_30     Document Type: Conference Paper

References (16)

1. PAT: Process Analysis Toolkit, http://pat.comp.nus.edu.sg/
2. Ball, T., Cook, B., Levin, V., Rajamani, S. K.: SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. In: Boiten, E. A., Derrick, J., Smith, G. P. (eds.) IFM 2004. LNCS, vol. 2999, pp. 1-20. Springer, Heidelberg (2004)
3. Cimatti, A., Clarke, E. M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An OpenSource Tool for Symbolic Model Checking. In: Brinksma, E., Larsen, K. G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359-364. Springer, Heidelberg (2002)
4. Dwyer, M. B., Hatcliff, J., Hoosier, M., Robby: Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. In: Etessami, K., Rajamani, S. K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 148-152. Springer, Heidelberg (2005)
5. Holzmann, G. J.: The SPIN Model Checker: Primer and Reference Manual. Wiley, Chichester (2003)
6. Liu, Y., Chen, W., Liu, Y. A., Sun, J.: Model Checking Lineariability via Refinement. In: Cavalcanti, A., Dams, D. R. (eds.) FM 2009. LNCS, vol. 5850, pp. 321-337. Springer, Heidelberg (2009)
7. Liu, Y., Pang, J., Sun, J., Zhao, J.: Efficient Verification of Population Ring Protocols in PAT. In: TASE 2009, pp. 81-89 (2009)
8. Liu, Y., Sun, J., Dong, J. S.: Scalable Multi-Core Model Checking Fairness Enhanced Systems. In: ICFEM 2009, pp. 426-445 (December 2009)
9. Magee, J., Kramer, J.: Concurrency: State Models & Java Programs. Wiley, Chichester (1999)
10. Roscoe, A. W.: Model-checking CSP. In: A Classical Mind: Essays in Honour of C. A. R. Hoare, pp. 353-378 (1994)
11. Sun, J., Liu, Y., Dong, J. S.: Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. In: ISoLA 2008, pp. 307-322. Springer, Heidelberg (2008)
12. Sun, J., Liu, Y., Dong, J. S., Chen, C. Q.: Integrating Specification and Programs for System Modeling and Verification. In: TASE 2009, pp. 127-135. IEEE Computer Society, Los Alamitos (2009)
13. Sun, J., Liu, Y., Dong, J. S., Pang, J.: PAT: Towards Flexible Verification under Fairness. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 702-708. Springer, Heidelberg (2009)
14. Sun, J., Liu, Y., Dong, J. S., Sun, J.: Bounded Model Checking of Compositional Processes. In: TASE 2008, pp. 23-30. IEEE Computer Society, Los Alamitos (2008)
15. Sun, J., Liu, Y., Dong, J. S., Wang, H. H.: Verifying Stateful Timed CSP using Implicit Clocks and Zone Abstraction. In: ICFEM 2009, pp. 581-600 (December 2009)
16. Sun, J., Liu, Y., Roychoudhury, A., Liu, S., Dong, J. S.: Fair Model Checking of Parameterized Systems. In: Cavalcanti, A., Dams, D. R. (eds.) FM 2009. LNCS, vol. 5850, pp. 123-139. Springer, Heidelberg (2009)