Temporal Logic Model Checking: Two Techniques for Avoiding the State Explosion Problem
Abstract elided by the publisher.
Related papers
- Automatic Synthesis of Smooth Infinite Horizon Paths Satisfying Linear Temporal Logic Specifications CAV 2025
- Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach TOPLAS 1997
- Quantum Probabilistic Model Checking for Time-Bounded Properties OOPSLA 2024
- Stateless model checking with data-race preemption points OOPSLA 2016
- Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits CAV 1992
- Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems CAV 1990
- Synthesis of Concurrent Systems with Many Similar Sequential Processes POPL 1989
- Synthesis of Concurrent Systems with Many Similar Processes TOPLAS 1998