Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams
No abstract available.
Related papers
- Verifying Infinite State Processes with Sequential and Parallel Composition POPL 1995
- Mechanized semantics and verified compilation for a dataflow synchronous language with reset POPL 2020
- Synthesis of Concurrent Systems with Many Similar Sequential Processes POPL 1989
- Synthesis of Concurrent Systems with Many Similar Processes TOPLAS 1998
- Verifying Temporal Properties without Temporal Logic TOPLAS 1989
- Verifying First-Order Temporal Properties of Infinite-State Systems via Timers and Rankings TACAS 2026
- Model Checking and Abstraction POPL 1992
- Model Checking and Abstraction TOPLAS 1994