Specification and Formal Verification of Hardware–Software Contracts for High-Assurance Computer Architectures
Caroline Trippel · Computer · 2025
Modern hardware designs and deployments continue to increase in complexity, exposing shortcomings in today’s computer systems specifications and verification flows, but new work on formally specifying and verifying hardware–software contracts offers paths to high-assurance computer architectures.