CCMC

MaRDI QIDQ25239swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-319-02444-8_36

Described by source

• CCMC: a conditional CSL model checker for continuous-time Markov chains

Cited in

(16)

• FocusCheck
• FunFrog
• DiSL
• gmm++
• ESBMC
• RE2
• GOAL
• CDSChecker
• JNuke
• RegExLib
• BisimDist
• dtControl
• Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15--18, 2013. Proceedings
• Diffy
• iDFlakies
• textX

This page was built for software: CCMC