PVS: Combining specification, proof checking, and model checking-Reference-Cited by-同舟云学术

PVS: Combining specification, proof checking, and model checking

Published:1996 Issue: Volume: Page:411-414
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Owre S.,Rajan S.,Rushby J. M.,Shankar N.,Srivas M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61474-5_91.pdf

Reference10 articles.

1. J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang. Symbolic model checking: 1020 states and beyond. Information and Computation, 98(2):142–170, June 1992.

2. E.A. Emerson and C.L. Lei. Efficient model checking in fragments of the prepositional mu-calculus. In Proceedings of the 10th Symposium on Principles of Programming Languages, pages 84–96, New Orleans, LA, January 1985. Association for Computing Machinery.

3. M. Gordon, R. Milner, and C. Wadsworth. Edinburgh LCF: A Mechanized Logic of Computation, volume 78 of Lecture Notes in Computer Science. Springer-Verlag, 1979.

4. G. L. J. M. Janssen. ROBDD Software. Department of Electrical Engineering, Eindhoven University of Technology, October 1993.

5. Steven P. Miller and Mandayam Srivas. Formal verification of the AAMP5 microprocessor: A case study in the industrial use of formal methods. In WIFT '95: Workshop on Industrial-Strength Formal Specification Techniques, pages 2–16, Boca Raton, FL, 1995. IEEE Computer Society.

Cited by 139 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A manifesto for applicable formal methods;Software and Systems Modeling;2023-08-18

2. Solving Modal Logic Problems by Translation to Higher-Order Logic;Lecture Notes in Computer Science;2023

3. On the use of formal methods to model and verify neuronal archetypes;Frontiers of Computer Science;2021-10-30

4. Formalizing Ordinal Partition Relations Using Isabelle/HOL;Experimental Mathematics;2021-10-11

5. A Logic Theory Pattern for Linearized Control Systems;Electronic Proceedings in Theoretical Computer Science;2021-08-06