On the Weak Adequacy of Branching-Time Remporal Logic
Abstract elided by the publisher.
Related papers
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities TACAS 2020
- Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity CAV 1990
- Design Verification of a Microprocessor Using Branching Time Regular Temporal Logic CAV 1992
- On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes CAV 1995
- Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic CAV 1991
- Call-by-push-value in coq: operational, equational, and denotational theory CPP 2019
- Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity OOPSLA 2023
- The Temporal Logic of Branching Time POPL 1981