A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems
Abstract elided by the publisher.
Related papers
- Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points TACAS 2004
- Efficient Diagnostic Generation for Boolean Equation Systems TACAS 2000
- A calculus for Esterel: if can, can. if no can, no can POPL 2019
- An Even Faster Solver for General Systems of Equations SAS 1996
- Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems TACAS 2012
- Static Analysis Techniques for Parameterised Boolean Equation Systems TACAS 2009
- Truly On-the-Fly LTL Model Checking TACAS 2005
- Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems TACAS 2020