InVeSt : A tool for the verification of invariants
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 505-510
- https://doi.org/10.1007/bfb0028771
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Powerful techniques for the automatic generation of invariantsPublished by Springer Nature ,1996
- Experiments in theorem proving and model checking for protocol verificationPublished by Springer Nature ,1996
- Temporal Verification of Reactive SystemsPublished by Springer Nature ,1995
- Verifying part of the ACCESS.bus protocol using PVSPublished by Springer Nature ,1995
- Property preserving abstractions for the verification of concurrent systemsFormal Methods in System Design, 1995
- Model checking and abstractionACM Transactions on Programming Languages and Systems, 1994
- STeP: The Stanford Temporal Prover,Published by Defense Technical Information Center (DTIC) ,1994
- Symbolic Model CheckingPublished by Springer Nature ,1993
- Completing the temporal pictureTheoretical Computer Science, 1991
- Automatic verification of finite state concurrent system using temporal logic specificationsPublished by Association for Computing Machinery (ACM) ,1983