Synchronizability for Verification of Asynchronously Communicating Systems

DOI10.1007/978-3-642-27940-9_5zbMath1325.68139OpenAlexW17260705MaRDI QIDQ2891401

Tevfik Bultan, Samik Basu, Meriem Ouederni

Publication date: 15 June 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-27940-9_5

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

Unnamed Item ⋮ On the diversity of asynchronous communication ⋮ On deciding synchronizability for asynchronously communicating systems ⋮ Automatic analysis of complex interactions in microservice systems ⋮ On the \(k\)-synchronizability of systems ⋮ Trace- and failure-based semantics for responsiveness ⋮ Unnamed Item

Uses Software

• WSAT
• CADP

Cites Work

• Verification of programs with half-duplex communication
• Deciding choreography realizability
• Multiparty asynchronous session types
• On Communicating Finite-State Machines
• Context-Bounded Analysis of Concurrent Queue Systems
• Verification, Model Checking, and Abstract Interpretation
• Reachability Analysis of Communicating Pushdown Systems

This page was built for publication: Synchronizability for Verification of Asynchronously Communicating Systems