Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points
Abstract elided by the publisher.
Related papers
- Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems TACAS 2020
- Abstract conflict driven learning POPL 2013
- A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems TACAS 2003
- Deciding Boolean Separation Logic via Small Models TACAS 2024
- Spy game: verifying a local generic solver in Iris POPL 2020
- Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion TACAS 2022
- Proving the unique fixed-point principle correct: an adventure with category theory ICFP 2011
- Computing repair alternatives for malformed programs using constraint attribute grammars OOPSLA 2016