Model checking interactive Markov chains

DOI10.3724/SP.J.1087.2008.01868MaRDI QIDQ3646579zbMATH OpenFDO

Authors Xiang Xu, Jinzhao Wu, Lian-Nan Lin, Jianfeng Chen

Publication date 22 November 2009

Published in Journal of Computer Applications (Search for Journal in Brave)

zbMATH Keywords

performance evaluationmodel checkinginteractive Markov chainsACSL

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model Checking Interactive Markov Chains
• Model-checking continuous-time Markov chains
• Model checking of open interval Markov chains
• scientific article; zbMATH DE number 1538048
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification of open interactive Markov chains
• Model-checking large structured Markov chains.

Cited in

(4)

• The how and why of interactive Markov chains
• A Tutorial on Interactive Markov Chains
• Model Checking Interactive Markov Chains
• Revisiting interactive Markov chains

This page was built for publication: Model checking interactive Markov chains

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