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

DOI10.1007/978-3-319-02444-8_36MaRDI QIDQ5166709zbMATH OpenOpenAlexFDO

Authors Yang Gao, Ernst Moritz Hahn, Naijun Zhan, Lijun 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)

Recommendations

• Model checking conditional CSL for continuous-time Markov chains
• Efficient CSL model checking using stratification
• scientific article; zbMATH DE number 1670788
• Automata-based CSL model checking
• scientific article; zbMATH DE number 1884410

Cited in

(4)

• Model checking conditional CSL for continuous-time Markov chains
• CCMC
• Efficient CSL model checking using stratification
• An MM algorithm to estimate parameters in continuous-time Markov chains

Describes a project that uses

Uses Software

• PRISM
• MRMC

This page was built for publication: CCMC: a conditional CSL model checker for continuous-time Markov chains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5166709)