McScM: A General Framework for the Verification of Communicating Machines
Abstract elided by the publisher.
Related papers
- Verification of Well-Formed Communicating Recursive State Machines VMCAI 2006
- A Verification Procedure via Invariant for Extended Communicating Finite-State Machines CAV 1992
- Generating Local Address and Communication Sets for Data-Parallel Programs PPoPP 1993
- Modular Deductive Verification of Multiprocessor Hardware Designs CAV 2015
- Discourje: Runtime Verification of Communication Protocols in Clojure TACAS 2020
- ARMI: an adaptive, platform independent communication library PPoPP 2003
- Global Optimizations for Parallelism and Locality on Scalable Parallel Machines PLDI 1993
- Communication-Closed Asynchronous Protocols CAV 2019