Automated verification of automata communicating via FIFO and bag buffers
From MaRDI portal
Publication:1650866
DOI10.1007/s10703-017-0285-8zbMath1392.68224OpenAlexW2694591513MaRDI QIDQ1650866
Publication date: 16 July 2018
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01898159/file/main-fmsd.pdf
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 (3)
Multiparty half-duplex systems and synchronous communications ⋮ On the \(k\)-synchronizability of systems ⋮ Unnamed Item
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Orchestrated session compliance
- Contracts for security adaptation
- Testing for unboundedness of fifo channels
- Conversation protocols: a formalism for specification and verification of reactive electronic services
- Verifying identical communicating processes is undecidable
- Quasi-static scheduling of communicating tasks
- Petri nets and regular processes
- Infinite-state high-level MSCs: model-checking and realizability
- Verification of programs with half-duplex communication
- Automated Analysis of Asynchronously Communicating Systems
- Multiparty Session Types Meet Communicating Automata
- Bounded Phase Analysis of Message-Passing Programs
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
- Decidable Topologies for Communicating Automata with FIFO and Bag Channels
- On the Asynchronous Nature of the Asynchronous π-Calculus
- Buffered Communication Analysis in Distributed Multiparty Sessions
- On Communicating Finite-State Machines
- On the progress of communication between two finite state machines
- Counterexample Guided Synthesis of Monitors for Realizability Enforcement
- Model Checking Software
- Adaptation of Open Component-Based Systems
This page was built for publication: Automated verification of automata communicating via FIFO and bag buffers
