Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems
No abstract available.
DOI 10.1007/bfb0023728
Related papers
- Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits CAV 1992
- A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata TACAS 2004
- Bounded partial-order reduction OOPSLA 2013
- Symbolic Partial-Order Execution for Testing Multi-Threaded Programs CAV 2020
- Psym: Efficient Symbolic Exploration of Distributed Systems PLDI 2023
- Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems TACAS 2000
- Temporal Logic Model Checking: Two Techniques for Avoiding the State Explosion Problem CAV 1990
- Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems TACAS 2020