Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic
No abstract available.
Related papers
- How to Win First-Order Safety Games VMCAI 2020
- A parametric segmentation functor for fully automatic and scalable array content analysis POPL 2011
- Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol CAV 1999
- Parametric Timed Broadcast Protocols VMCAI 2019
- Planning for change in a formal verification of the raft consensus protocol CPP 2016
- 𝜆ₛ: computable semantics for differentiable programming with higher-order functions and datatypes POPL 2021
- Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols) CAV 2019
- Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts OOPSLA 2023