Category Archives: IscasMC

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.

IscasMC goes live

The ISCAS model checker goes live today. It supports now

  • Markov chains, wrt. logic PCTL*
  • Markov decision processes, wrt. logic PCTL*
  • Quantum Markov chains, wrt. logic QCTL