Program
Verification
Book

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 Apr 2022 (default branch)
Last commit date: 04 Nov 2022 (last activity)

Related papers

https://arxiv.org/abs/2005.09089 (OOPSLA 2004)

ProVerB specific

Markdown description: view/edit
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.