A General Framework for Probabilistic Characterizing Formulae
No abstract available.
Related papers
- Leakage-Free Probabilistic Jasmin Programs CPP 2025
- Structural Abstraction and Refinement for Probabilistic Programs OOPSLA 2025
- Engineering an Efficient Probabilistic Exact Model Counter CAV 2025
- ProbNV: probabilistic verification of network control planes ICFP 2021
- Probabilistic Predicate Transformers TOPLAS 1996
- Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols) CAV 2019
- Cantor meets scott: semantic foundations for probabilistic networks POPL 2017
- Fabular: regression formulas as probabilistic programming POPL 2016