The invariant checker: Automated deductive verification of reactive systems
- 1 January 1997
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 436-439
- https://doi.org/10.1007/3-540-63166-6_42
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- CADP a protocol validation and verification toolboxLecture Notes in Computer Science, 1996
- Powerful techniques for the automatic generation of invariantsPublished by Springer Nature ,1996
- Verifying invariants using theorem provingPublished by Springer Nature ,1996
- Temporal Verification of Reactive SystemsPublished by Springer Nature ,1995