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