Specification and Formal Verification of Hardware-Software Contracts for High-Assurance Computer Architectures 05-29-2026