Action Language verifier, extended

Lecture Notes in Computer Science

Volumn 3576, Issue , 2005, Pages 413-417

  Yavuz Kahveci, Tuba ^a   Bartzis, Constantinos ^b   Bultan, Tevfik ^c  

^a UNIVERSITY OF FLORIDA   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

^c UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACTION LANGUAGE VERIFIERS;

EID: 26444439000     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11513988_40     Document Type: Conference Paper

References (8)

1. The Omega project. Available at http://www.cs.umd.edu/projects/omega/
2. C. Bartzis. Symbolic Representations for Integer Sets in Automated Verification. PhD thesis, University of California, Santa Barbara, 2004.
3. T. Bultan. Action language: A specification language for model checking reactive systems. In Proc. ICSE 2000, pages 335-344, June 2000.
4. T. Bultan and T. Yavuz-Kahveci. Action language verifier. In Proc. of ASE 2001, pages 382-386, November 2001.
5. G. Delzanno. Automatic verification of parameterized cache coherence protocols. In Proc. CAV 2000, pages 53-68, 2000.
6. J. G. Henriksen, J. Jensen, M. Jorgensen, N. Klarlund, R. Paige, T. Rauhe, and A. Sandholm. Mona: Monadic second-order logic in practice. In Proc. TACAS 1995, 1995.
7. T. Yavuz-Kahveci. Specification and Automated Verification of Concurrent Software Systems. PhD thesis, University of California, Santa Barbara, 2004.
8. T. Yavuz-Kahveci and T. Bultan. A symbolic manipulator for automated verification of reactive systems with heterogeneous data types. STTT, 5(1):15-33, November 2003.