Model checking interactive Markov chains

DOI10.3724/SP.J.1087.2008.01868zbMath1175.68262MaRDI QIDQ3646579

Lian-Nan Lin, Jinzhao Wu, Xiang Xu, Jian-Feng 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)

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