Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol
Abstract elided by the publisher.
Related papers
- Mechanical Verification of an Ideal Incremental ABR Conformance CAV 2000
- Automated Modular Verification for Relaxed Communication Protocols APLAS 2018
- Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic TACAS 2004
- Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts OOPSLA 2023
- A Hybrid Approach to Semi-automated Rust Verification PLDI 2025
- Automated Verification of Parametric Channel-Based Process Communication OOPSLA 2024
- Hardware Testing Using a Communication Protocol Conformance Testing Tool TACAS 1999
- QuickSilver: modeling and parameterized verification for distributed agreement-based systems OOPSLA 2021