IIV: An invisible invariant verifier

Lecture Notes in Computer Science

Volumn 3576, Issue , 2005, Pages 408-412

  Balaban, Ittai ^a   Fang, Yi ^a   Pnueli, Amir ^a   Zuck, Lenore D ^b  

^a NEW YORK UNIVERSITY   (United States)

^b UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (6)

1. T. Arons, A. Pnueli, S. Ruah, J. Xu, and L. Zuck. Parameterized verification with automatically computed inductive assertions. In CAV'01, pages 221-234. LNCS 2102, 2001.
2. th conference on Verification, Model Checking, and Abstract Interpretation, volume 2937, pages 223-238, Venice, Italy, January 2004.
3. Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. New York, 1995.
4. A. Pnueli, S. Ruah, and L. Zuck. Automatic deductive verification with invisible invariants. In TACAS'01, pages 82-97. LNCS 2031, 2001.
5. E. Shahar. The TLV Manual, 2000. http://www.cs.nyu.edu/acsys/tlv.
6. L. Zuck and A. Pnueli. Model checking and abstraction to the aid of parameterized systems. Computer Languages, Systems, and Structures, 30(3-4): 139-169, 2004.