Verifiying Safety Properties of a Power PC Microprocessor Using Symbolic Model Checking without BDDs
Abstract elided by the publisher.
Related papers
- Symbolic Model Checking without BDDs TACAS 1999
- Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking CAV 2000
- Generating BDDs for Symbolic Model Checking in CCS CAV 1991
- Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures CAV 2004
- Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results TOPLAS 1999
- Optimizing Symbolic Model Checking for Constraint-Rich Models CAV 1999
- Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution APLAS 2008
- Pomsets with preconditions: a simple model of relaxed memory OOPSLA 2020