Model Checking and Boolean Graphs
No abstract available.
Related papers
- Abstract Dependency Graphs and Their Application to Model Checking TACAS 2019
- A Conjunctively Decomposed Boolean Representation for Symbolic Model Checking CAV 1996
- Boolean and Cartesian Abstraction for Model Checking C Programs TACAS 2001
- Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods CAV 2003
- Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors CAV 2004
- 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
- Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking CAV 2000