Using Interface Refinement to Integrate Formal Verification into the Design Cycle
Abstract elided by the publisher.
Related papers
- Integration verification across software and hardware for a simple embedded system PLDI 2021
- Surfer - An Extensible Waveform Viewer CAV 2025
- EasyView: Bringing Performance Profiles into Integrated Development Environments CGO 2024
- Unifying Compositional Verification and Certified Compilation with a Three-Dimensional Refinement Algebra POPL 2025
- Refining Interface Alphabets for Compositional Verification TACAS 2007
- Probabilistic relational verification for cryptographic implementations POPL 2014
- Verifying C11-style weak memory libraries PPoPP 2021
- Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic OOPSLA 2023