Integrating WS1S with PVS

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

Volumn 1855, Issue , 2000, Pages 548-551

  Owre, Sam ^a   Rueß, Harald ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35248837184     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10722167_42     Document Type: Conference Paper

References (4)

1. P.A. Abdulla, A. Annichini, S. Bensalem, A. Bouajjani, P. Habermehl, and Y. Lak- hnech. Verification of infinite-state systems by combining abstraction and reachability analysis. volume 1633 of Lecture Notes in Computer Science, pages 146-159, Trento, Italy, July 1999. Springer-Verlag.
2. N. Klarlund and A. Møller. MONA Version 1.3 User Manual. BRICS Notes Series NS-98-3, Dept. of Computer Science, University of Aarhus, October 1998.
3. S. Owre, N. Shankar, J. M. Rushby, and D. W. J. Stringer-Calvert.: PVS Language Reference. Computer Science Laboratory, SRI International, Menlo Park, CA, September 1999.
4. S. Rajan, N. Shankar, and M.K. Srivas. An integration of model-checking with automated proof checking. In Pierre Wolper, editor, Computer-Aided Verification, CAV '95, volume 939 of Lecture Notes in Computer Science, pages 84-97, Liege, Belgium, June 1995. Springer-Verlag.