Program
Verification
Book
Homepage
All tools
PV0
PV1
PV2
PV3
PV4
PV5
PV6
Frameworks
Tags
Specification formats
About
dice
probabilistic programming language focused on fast exact inference for discrete probabilistic programs
Application domain/field
Probabilistic programming
Type of tool
Language
Links
https://github.com/SHoltzen/dice
Last commit date
22 April 2022
Related papers
https://arxiv.org/abs/2005.09089
(OOPSLA 2004)
ProVerB specific
View/edit source
(Markdown)
ProVerB
is a part of
SLEBoK
. Last updated:
July 2022
.