Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools
Abstract elided by the publisher.
Related papers
- Scaling Up Livelock Verification for Network-on-Chip Routing Algorithms VMCAI 2022
- Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols CAV 2022
- Peregrine: A Tool for the Analysis of Population Protocols CAV 2018
- Predictability vs. Efficiency in the Multicore Era: Fight of Titans or Happy Ever after? CAV 2009
- Compositional Verification of Heap-Manipulating Programs Through Property-Guided Learning APLAS 2019
- Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming ECOOP 2014
- SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq TOPLAS 2023
- The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols CAV 2008