On the Model Checking Problem for Branching Time Logics and Basic Parallel Processes
Abstract elided by the publisher.
Related papers
- Verifying Infinite State Processes with Sequential and Parallel Composition POPL 1995
- Model Checking Algorithms for Hyperproperties (Invited Paper) VMCAI 2021
- On Probabilistic Parallel Programs with Process Creation and Synchronisation TACAS 2011
- Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity CAV 1990
- Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic CAV 1991
- Software model checking using languages of nested trees TOPLAS 2011
- Taming Control Divergence in GPUs through Control Flow Linearization CC 2014
- An Extension of ATL with Strategy Interaction TOPLAS 2015