Temporal Verification by Diagram Transformations
No abstract available.
Related papers
- Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams CAV 1990
- Specification and Verification of Concurrent Programs By Forall-Automata POPL 1987
- Temporal Precondition Verification of Design Transformations CAV 1991
- Sound Verification Procedures for Temporal Properties of Infinite-State Systems CAV 2021
- Fold/Unfold Transformations for Fixpoint Logic TACAS 2020
- Verification Diagrams Revisited: Disjunctive Invariants for Easy Verification CAV 2000
- TLC: temporal logic of distributed components ICFP 2020
- Verification of Parameterized Systems by Dynamic Induction on Diagrams CAV 1999