Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus
Abstract elided by the publisher.
Related papers
- Modal Abstractions for Virtualizing Memory Addresses OOPSLA 2025
- Using Coverage to Deploy Formal Verification in a Simulation World CAV 2011
- The POLYLITH Software Bus TOPLAS 1994
- Integration verification across software and hardware for a simple embedded system PLDI 2021
- Verification of Parameterized Bus Arbitration Protocol CAV 1998
- Verification of an Audio Protocol with Bus Collision Using UPPAAL CAV 1996
- VeSCMul: Verified Implementation of S-C-Rewriting for Multiplier Verification TACAS 2024
- Lean-Auto: An Interface Between Lean 4 and Automated Theorem Provers CAV 2025