Static Analysis Techniques for Parameterised Boolean Equation Systems
No abstract available.
Related papers
- Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems TACAS 2020
- Efficient Evidence Generation for Modal μ-Calculus Model Checking TACAS 2025
- Efficient Diagnostic Generation for Boolean Equation Systems TACAS 2000
- Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems TACAS 2012
- A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems TACAS 2003
- Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points TACAS 2004
- Implementation of the Data-Flow Synchronous Language SIGNAL PLDI 1995
- Saturn: A scalable framework for error detection using Boolean satisfiability TOPLAS 2007