Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers
No abstract available.
Related papers
- Symbolic optimization with SMT solvers POPL 2014
- Validating SMT solvers via semantic fusion PLDI 2020
- An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification POPL 2024
- Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking CAV 2000
- Checking Observational Correctness of Database Systems OOPSLA 2025
- Compiler Testing with Relaxed Memory Models CGO 2024
- Hyperproperty Verification as CHC Satisfiability ESOP 2024
- Enumerating Choice Terms in Model-Based Quantifier Instantiation TACAS 2026