Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems
Abstract elided by the publisher.
Related papers
- Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems TACAS 2020
- Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems TACAS 2002
- CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems TACAS 2026
- Concurrent Transition System Semantics of Process Networks POPL 1987
- Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors CAV 2004
- Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems CAV 2018
- Efficient Diagnostic Generation for Boolean Equation Systems TACAS 2000
- A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems TACAS 2003