Skip to content

S# compatible derivate of the Markov Reward Model Checker

License

Notifications You must be signed in to change notification settings

isse-augsburg/mrmc-ssharp

Repository files navigation

MRMC

MRMC is a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL (PRCTL and CSRL), and allows for the automated verification of properties concerning long-run and instantaneous rewards as well as cumulative rewards.

https://github.com/ivan-zapreev/MRMC http://www.mrmc-tool.org/

MRMC was originally developed by Copyright (C) The University of Twente, 2004-2008. Copyright (C) RWTH Aachen, 2008-2009.

This is a branch which contains minor modifications to make MRMC interoperable with S#.

http://safetysharp.isse.de https://github.com/isse-augsburg/ssharp

Copyright (C) University of Augsburg, 2016.

About

S# compatible derivate of the Markov Reward Model Checker

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published