A Tableau System for Linear-TIME Temporal Logic
No abstract available.
Related papers
- An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic CAV 2003
- Specification and Synthesis of Communicating Processes using an Extended Temporal Logic POPL 1982
- Synthesis of Communicating Processes from Temporal Logic Specifications TOPLAS 1984
- Compositional Model Checking for Linear-Time Temporal Logic CAV 1992
- "Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time POPL 1983
- Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity CAV 1990
- Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond TACAS 1998
- The Temporal Logic of Branching Time POPL 1981