Boolean and Cartesian Abstraction for Model Checking C Programs
No abstract available.
Related papers
- Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors CAV 2004
- Monadic second-order logic on finite sequences POPL 2017
- Model Checking and Boolean Graphs ESOP 1992
- A Conjunctively Decomposed Boolean Representation for Symbolic Model Checking CAV 1996
- Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods CAV 2003
- Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems TACAS 2012
- Boom: Taking Boolean Program Model Checking One Step Further TACAS 2010
- Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems TACAS 2020