On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels
No abstract available.
Related papers
- Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol TACAS 1999
- Piecewise FIFO Channels Are Analyzable VMCAI 2006
- Data Flow Analysis of Communicating Finite State Machines TOPLAS 1991
- Proving Liveness for Networks of Communicating Finite State Machines TOPLAS 1986
- Incremental, Inductive Coverability CAV 2013
- A Mechanized Semantics for Dataflow Circuits OOPSLA 2025
- On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony CAV 2018
- LaminarIR: compile-time queues for structured streams PLDI 2015