The latest version of safe-coupling is 0.1.0.1-0.
safe-coupling
Version 0.1.0.0 revision 0 uploaded by oquechy.
Package meta
- Synopsis
- Relational proof system for probabilistic algorithms
- Description
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).
- Author
- Lisa Vasilenko, Niki Vazou
- Bug reports
- https://github.com/nikivazou/safe-coupling/issues
- Category
- Formal Methods
- Copyright
- 2020-21 Lisa Vasilenko & Niki Vazou, IMDEA Software Institute
- Homepage
- https://github.com/nikivazou/safe-coupling
- Maintainer
- Lisa Vasilenko <vasilliza@gmail.com>
- Package URL
- n/a
- Stability
- n/a