Type-Based Verification of Correspondence Assertions for Communication Protocols
Abstract elided by the publisher.
Related papers
- Correspondence assertions for process synchronization in concurrent communications JFP 2005
- Discourje: Runtime Verification of Communication Protocols in Clojure TACAS 2020
- Automated Modular Verification for Relaxed Communication Protocols APLAS 2018
- Typed dataspace actors JFP 2020
- Adding Liveness Properties to Coupled Finite-State Machines TOPLAS 1990
- Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract) CAV 1996
- EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols CAV 1996
- Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets CAV 1990