ePMC is publicly available

ePMC, the Extendible Probabilistic Model Checker, is now available publicly. It can be accessed online on GitHub, at this repository.

ePMC is the successor of IscasMC, from which it keeps all features about Linear Time Logic probabilistic model checking. ePMC is highly modular, which allows everyone to extend and improve the functionalities of the model checker.