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