CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains.

Yang Gao, Ernst Moritz Hahn, Naijun Zhan, Lijun Zhang

Browse the full ATVA paper archive.