EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols
No abstract available.
Related papers
- Analysis and Verification of Quantum Communication Protocols in UPPAAL CAV 2026
- Type-Based Verification of Correspondence Assertions for Communication Protocols APLAS 2007
- Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract) CAV 1996
- Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets CAV 1990
- Integrating Proof-Based and Model-Checking Techniques for the Formal Verification of Cryptographic Protocols CAV 1998
- Peregrine: A Tool for the Analysis of Population Protocols CAV 2018
- Discourje: Runtime Verification of Communication Protocols in Clojure TACAS 2020
- Compositional Design, Implementation, and Verification of Swarms ECOOP 2026