Improved Probabilistic Models for 802.11 Protocol Verification
No abstract available.
Related papers
- Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols) CAV 2019
- ProbNV: probabilistic verification of network control planes ICFP 2021
- Verifying Indistinguishability of Privacy-Preserving Protocols OOPSLA 2023
- Sound probabilistic inference via guide types PLDI 2021
- Abstraction-Refinement for Hierarchical Probabilistic Models CAV 2022
- Probabilistic CTL*: The Deductive Way TACAS 2016
- Proving Termination of Probabilistic Programs Using Patterns CAV 2012
- An Improved Constraint-Based System for the Verification of Security Protocols SAS 2002