Automatic Abstraction of Memories in the Formal Verification of Superscalar Microprocessors
Abstract elided by the publisher.
Related papers
- Balancing Automation and Control for Formal Verification of Microprocessors CAV 2021
- Automatic verification of Pipelined Microprocessor Control CAV 1994
- Formal Verification of VLIW Microprocessors with Speculative Execution CAV 2000
- Verifying x86 instruction implementations CPP 2020
- Formally Verifying an Efficient Sorter TACAS 2024
- Structural Operational Semantics for Functional and Security Verification of Pipelined Processors CAV 2025
- Securing Interruptible Enclaved Execution on Small Microprocessors TOPLAS 2021
- Mechanical Mathematical Methods for Microprocessor Verification CAV 2004