Verification Diagrams Revisited: Disjunctive Invariants for Easy Verification
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 508-520
- https://doi.org/10.1007/10722167_38
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Proof of Correctness of a Processor with Reorder Buffer Using the Completion Functions ApproachPublished by Springer Nature ,1999
- Experience with Predicate AbstractionPublished by Springer Nature ,1999
- Verification of Infinite-State Systems by Combining Abstraction and Reachability AnalysisPublished by Springer Nature ,1999
- Computing abstractions of infinite state systems compositionally and automaticallyPublished by Springer Nature ,1998
- Automatic generation of invariants and intermediate assertionsTheoretical Computer Science, 1997
- Low-overhead time-triggered group membershipPublished by Springer Nature ,1997
- Visual verification of reactive systemsPublished by Springer Nature ,1997
- Experiments in theorem proving and model checking for protocol verificationPublished by Springer Nature ,1996
- Generalized temporal verification diagramsPublished by Springer Nature ,1995
- TTP-a protocol for fault-tolerant real-time systemsComputer, 1994