Formal Verification of Pentium® 4 Components with Symbolic Simulation and Inductive Invariants
Abstract elided by the publisher.
Related papers
- WASIM: A Word-level Abstract Symbolic Simulation Framework for Hardware Formal Verification TACAS 2023
- Planning for change in a formal verification of the raft consensus protocol CPP 2016
- Checking Deadlock-Freedom of Parametric Component-Based Systems TACAS 2019
- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding - (Competition Contribution) TACAS 2022
- Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution) TACAS 2020
- Formal verification of a distributed dynamic reconfiguration protocol CPP 2022
- Diffy: Inductive Reasoning of Array Programs Using Difference Invariants CAV 2021
- Induction duality: primal-dual search for invariants POPL 2022