Analysis of Boolean Programs
Abstract elided by the publisher.
Related papers
- Implementing Groundness Analysis with Definite Boolean Functions ESOP 2000
- Static Analysis Techniques for Parameterised Boolean Equation Systems TACAS 2009
- Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation SAS 1994
- Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit TACAS 2005
- AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks CAV 2020
- Boolean Algebra of Shape Analysis Constraints VMCAI 2004
- Scalable error detection using boolean satisfiability POPL 2005
- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation TACAS 2022