Computational Verification of Network Programs in Coq
No abstract available.
DOI 10.1007/978-3-319-03545-1_3
Related papers
- From C to interaction trees: specifying, verifying, and testing a networked server CPP 2019
- From Network Interface to Multithreaded Web Applications: A Case Study in Modular Program Verification POPL 2015
- Extracting functional programs from Coq, in Coq JFP 2022
- Foundational Integration Verification of a Cryptographic Server PLDI 2024
- Distributed causal memory: modular specification and verification in higher-order distributed separation logic POPL 2021
- A unified Coq framework for verifying C programs with floating-point computations CPP 2016
- Leapfrog: certified equivalence for protocol parsers PLDI 2022
- VCFloat2: Floating-Point Error Analysis in Coq CPP 2024