Construction of abstract state graphs with PVS
- 1 January 1997
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Powerful techniques for the automatic generation of invariantsPublished by Springer Nature ,1996
- Verifying invariants using theorem provingPublished by Springer Nature ,1996
- The tool KronosPublished by Springer Nature ,1996
- HyTech: The Cornell Hybrid Technology ToolPublished by Springer Nature ,1995
- What if model checking must be truly symbolicPublished by Springer Nature ,1995
- Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem provingPublished by Springer Nature ,1995
- Model checking and abstractionACM Transactions on Programming Languages and Systems, 1994
- Verification of linear hybrid systems by means of convex approximationsPublished by Springer Nature ,1994
- A tool for symbolic program verification and abstractionPublished by Springer Nature ,1993
- Generation of reduced models for checking fragments of CTLPublished by Springer Nature ,1993