fzaiser

kani

Kani Rust Verifier

genfer

Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions

polar

Prodigy

A tool that analyses probabilistic programs, allows for automatic invariance checking and handles inference all based on Generatingfunctionology.