Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity
Abstract elided by the publisher.
Related papers
- Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic CAV 1991
- Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic CAV 1992
- Compositional Model Checking for Linear-Time Temporal Logic CAV 1992
- Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond TACAS 1998
- "Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time POPL 1983
- Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications TOPLAS 1986
- The Temporal Logic of Branching Time POPL 1981
- Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems VMCAI 2006