PRISM-adaptive

PRISM-adaptive is an extension to PRISM that performs statistical model checking for unbounded temporal properties and mean payoff. The tool is distributed under the GNU General Public License (GPL).

Download

Download the source code and benchmarks, and follow the installation instructions.