CCMC

swMATH13324MaRDI QIDQ25239FDOQ25239

Author name not available (Why is that?)

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)

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

This page was built for software: CCMC