safe-coupling: Relational proof system for probabilistic algorithms
Relational proof system for probabilistic algorithms. Supports two proving methods: upper bound Kantorovich distance between two distributions and establish a boolean relation on samples from two distributions (the latter is stronger).
[Skip to Readme]
Modules
- ApplicativeBins
- ApplicativeBins.Bins
- ApplicativeBins.Theorem
- Bins
- Bins.Bins
- Bins.Theorem
- Data
- Data.Derivative
- Data.Dist
- Data.List
- Examples
- Examples.ExpDist
- Misc
- Misc.ProofCombinators
- Monad
- Monad.PrM
- Monad.PrM.Laws
- Monad.PrM.Predicates
- Relational
- TCB
- Monad.PrM.Relational.TCB.EDist
- Monad.PrM.Relational.TCB.Spec
- Monad.PrM.Relational.Theorems
- TCB
- Monad.PrM
- SGD
- SGD.SGD
- SGD.Theorem
- TD
- Lemmata
- Relational
- TD.Lemmata.Relational.Act
- TD.Lemmata.Relational.Iterate
- TD.Lemmata.Relational.Sample
- TD.Lemmata.Relational.Update
- Relational
- TD.TD0
- TD.Theorem
- Lemmata
Downloads
- safe-coupling-0.1.0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.1.0.0, 0.1.0.1 |
---|---|
Change log | ChangeLog.md |
Dependencies | liquid-base (>=4.14.0 && <4.16), liquid-containers (>=0.6.2 && <0.7), liquid-prelude (>=0.8.10 && <0.9), liquidhaskell (>=0.8.10 && <0.9), probability (>=0.2.7 && <0.3), rest-rewrite (>=0.1.1 && <0.2) [details] |
License | BSD-3-Clause |
Copyright | 2020-21 Lisa Vasilenko & Niki Vazou, IMDEA Software Institute |
Author | Lisa Vasilenko, Niki Vazou |
Maintainer | Lisa Vasilenko <vasilliza@gmail.com> |
Category | Formal Methods |
Home page | https://github.com/nikivazou/safe-coupling |
Bug tracker | https://github.com/nikivazou/safe-coupling/issues |
Source repo | head: git clone https://github.com/nikivazou/safe-coupling |
Uploaded | by oquechy at 2022-06-15T20:05:28Z |
Distributions | |
Downloads | 152 total (2 in the last 30 days) |
Rating | 2.0 (votes: 1) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] All reported builds failed as of 2022-06-15 [all 2 reports] |