Verifying Network Protocol Implementations by Symbolic Refinement Checking
Abstract elided by the publisher.
Related papers
- Sprout: A Verifier for Symbolic Multiparty Protocols CAV 2025
- Model Checking for Flexible Network Protocols CAV 2026
- Active Learning of Symbolic NetKAT Automata PLDI 2025
- Characterizing Implementability of Global Protocols with Infinite States and Data OOPSLA 2025
- LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs PLDI 2024
- Verifying Indistinguishability of Privacy-Preserving Protocols OOPSLA 2023
- Refinement types for secure implementations TOPLAS 2011
- Probabilistic Refinement Session Types PLDI 2025