Tools

Mora

Mora is an automated tool for generating invariants of probabilistic programs. Inputs to Mora are so-called Prob-solvable loops, that is probabilistic programs with polynomial assignments over random variables and parametrized distributions.

Amber

This is a small description of Amber. This is a small description of Amber. This is a small description of Amber.