Symbolic Verification of Lossy Channel Systems: Application to the Bounded Retransmission Protocol
No abstract available.
Related papers
- Probabilistic Resource-Aware Session Types POPL 2023
- The Bounded Retransmission Protocol Must Be on Time! TACAS 1997
- Incremental, Inductive Coverability CAV 2013
- On-the-Fly Analysis of Systems with Unbounded, Lossy FIFO Channels CAV 1998
- Probabilistic Refinement Session Types PLDI 2025
- Verification under TSO with an infinite Data Domain TACAS 2024
- Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols ICFP 2023
- POSTER: Optimizing Collective Communications with Error-bounded Lossy Compression for GPU Clusters PPoPP 2024