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