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

DOI10.1007/978-3-319-02444-8_36zbMath1410.68227OpenAlexW1943907022MaRDI QIDQ5166709

Naijun Zhan, Ernst Moritz Hahn, Yang Gao, Li-jun Zhang

Publication date: 8 July 2014

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-02444-8_36

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

CCMC

Uses Software

• PRISM
• MRMC

This page was built for publication: CCMC: A Conditional CSL Model Checker for Continuous-Time Markov Chains