Automated analysis of asynchronously communicating systems

DOI10.1007/978-3-319-32582-8_1MaRDI QIDQ2814621zbMATH OpenOpenAlexFDO

Authors Lakhdar Akroun, Gwen Salaün, Lina Ye

Publication date 22 June 2016

Published in Model Checking Software (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-01280164/file/Akroun-Salaun-Ye-16.pdf

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

• Automated verification of automata communicating via FIFO and bag buffers
• On deciding synchronizability for asynchronously communicating systems
• Synchronizability for Verification of Asynchronously Communicating Systems
• Reachability analysis of communicating pushdown systems
• Verification, Model Checking, and Abstract Interpretation

Cited in

(7)

• Automated verification of automata communicating via FIFO and bag buffers
• Automatic analysis of complex interactions in microservice systems
• Data flow analysis of asynchronous systems using infinite abstract domains
• On deciding synchronizability for asynchronously communicating systems
• Automated Analysis of Discrete Communication Behavior
• scientific article; zbMATH DE number 3497800 (Why is no real title available?)
• scientific article; zbMATH DE number 7317251 (Why is no real title available?)

This page was built for publication: Automated analysis of asynchronously communicating systems

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