Formal Methods Tools

Probabilistic Tools

This page lists all of the probabilistic tools on this site in alphabetical order. Click a tool name in the first column to view tool details. Click a colorful item in the second column to view all the tools for which that term applies. Item colors mean nothing and are intended to make it easy to skim the page. Colors are generated by hashing each term’s name and converting it to RGB color values.

Tool Applications Licenses
Caesar Probabilistic Program Prover MIT
COMICS Counterexample Generator
Visualizer
Probabilistic Model Checker All Rights Reserved
Modest Toolset Probabilistic Model Checker Statistical Model Checker All Rights Reserved
ORIS Tool Probabilistic Model Checker Petri Net Analysis All Rights Reserved
Probabilistic Model Checker All Rights Reserved
Probabilistic Abstraction All Rights Reserved
Probabilistic Invariant Synthesizer
PRISM Probabilistic Model Checker GPLv2
Probabilistic Model Checker All Rights Reserved
Parameter Synthesizer GPLv3
STAMINA Probabilistic Model Checker MIT GPLv3
Storm Probabilistic Model Checker GPLv3
WESTPA Weighted Ensemble MIT
Grey text indicates tool has not been updated or maintained recently