Automated Analysis of Asynchronously Communicating Systems

DOI10.1007/978-3-319-32582-8_1zbMath1354.68188OpenAlexW2382406304MaRDI QIDQ2814621

Gwen Salaün, Lakhdar Akroun, 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)

Related Items (2)

Automated verification of automata communicating via FIFO and bag buffers ⋮ Unnamed Item

This page was built for publication: Automated Analysis of Asynchronously Communicating Systems