Reasoning with Temporal Logic on Truncated Paths
No abstract available.
Related papers
- A foundation for flow-based program matching: using temporal logic and model checking POPL 2009
- A Data Path Verifier for Register Transfer Level Using Temporal Logic Language Tokio CAV 1990
- Reasoning about nondeterminism in programs PLDI 2013
- Automatic Synthesis of Smooth Infinite Horizon Paths Satisfying Linear Temporal Logic Specifications CAV 2025
- The Temporal Logic of Branching Time POPL 1981
- "Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time POPL 1983
- Modular Control Plane Verification via Temporal Invariants PLDI 2023
- Efficient Temporal Reasoning POPL 1989