Verifying invariants using theorem proving
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 196-207
- https://doi.org/10.1007/3-540-61474-5_69
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Experiments in theorem proving and model checking for protocol verificationPublished by Springer Nature ,1996
- Temporal Verification of Reactive SystemsPublished by Springer Nature ,1995
- Automatic generation of invariants and intermediate assertionsPublished by Springer Nature ,1995
- An integration of model checking with automated proof checkingPublished by Springer Nature ,1995
- CAVEAT: technique and tool for computer aided verification and transformationPublished by Springer Nature ,1995
- Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem provingPublished by Springer Nature ,1995
- STeP: The Stanford Temporal Prover,Published by Defense Technical Information Center (DTIC) ,1994
- Combining model checking and theorem proving to verify parallel processesPublished by Springer Nature ,1993