Efficient Diagnostic Generation for Boolean Equation Systems
Abstract elided by the publisher.
Related papers
- A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems TACAS 2003
- Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems TACAS 2012
- Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points TACAS 2004
- Static Analysis Techniques for Parameterised Boolean Equation Systems TACAS 2009
- Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems TACAS 2020
- Let Generalization, Polymorphic Recursion, and Variable Minimization in Boolean-Kinded Type Systems POPL 2026
- Efficient Evidence Generation for Modal μ-Calculus Model Checking TACAS 2025
- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring TACAS 2021