Temporal Precondition Verification of Design Transformations
No abstract available.
Related papers
- On Automation of CTL* Verification for Infinite-State Systems CAV 2015
- Temporal Verification by Diagram Transformations CAV 1996
- Reasoning about nondeterminism in programs PLDI 2013
- Adequacy for Predicate Transformer Semantics ICFP 2026
- Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic CAV 1992
- Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services ESOP 2009
- Pomsets with preconditions: a simple model of relaxed memory OOPSLA 2020
- Sound Verification Procedures for Temporal Properties of Infinite-State Systems CAV 2021