Synchronizability for Verification of Asynchronously Communicating Systems

DOI10.1007/978-3-642-27940-9_5MaRDI QIDQ2891401zbMATH OpenOpenAlexFDO

Authors Samik Basu, Tevfik Bultan, 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)

Recommendations

• On deciding synchronizability for asynchronously communicating systems
• Correct Hardware Design and Verification Methods
• scientific article; zbMATH DE number 3991420
• Multi-scale verification of distributed synchronisation
• Verification of asynchronous systems with an unspecified component
• Efficiently and completely verifying synchronized consistency models
• scientific article; zbMATH DE number 3938554
• scientific article; zbMATH DE number 7730616

Cites work

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

Cited in

(20)

• The synchronization problem in protocol testing and its complexity
• Automated verification of automata communicating via FIFO and bag buffers
• Synchronization synthesis for network programs
• Automatic analysis of complex interactions in microservice systems
• On the k-synchronizability of systems
• Multi-scale verification of distributed synchronisation
• An axiomatic approach to computing the connectivity of synchronous and asynchronous systems
• Automated analysis of asynchronously communicating systems
• Resource-sensitive synchronization inference by abduction
• On the diversity of asynchronous communication
• Parameterized Verification of Asynchronous Shared-Memory Systems
• Asynchronous message orderings beyond causality
• On deciding synchronizability for asynchronously communicating systems
• scientific article; zbMATH DE number 1089087 (Why is no real title available?)
• Compatibility properties of synchronously and asynchronously communicating components
• Correspondence assertions for process synchronization in concurrent communications
• Trace- and failure-based semantics for responsiveness
• On the inherent weakness of conditional synchronization primitives
• On the completeness of verifying message passing programs under bounded asynchrony
• On the send-synchronizability problem for mailbox communication

Describes a project that uses

Uses Software

• WSAT
• CADP

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2891401)