Construction of abstract state graphs with PVS
Authors:
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 72-83
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Powerful techniques for the automatic generation of invariantsLecture Notes in Computer Science, 1996
- Verifying invariants using theorem proving1996
- The tool Kronos1996
- HyTech: The Cornell Hybrid Technology Tool1995
- What if model checking must be truly symbolic1995
- Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving1995
- Model checking and abstractionACM Transactions on Programming Languages and Systems, 1994
- Verification of linear hybrid systems by means of convex approximations1994
- A tool for symbolic program verification and abstractionLecture Notes in Computer Science, 1993
- Generation of reduced models for checking fragments of CTL1993