Verification of linear duration properties over continuous-time markov chains

DOI10.1145/2528935zbMath1353.68174OpenAlexW1984799101WikidataQ112268312 ScholiaQ112268312MaRDI QIDQ5892173

Marco Diciolla, Alexandru Mereacre, Taolue Chen, Marta Kwiatkowska

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2528935

zbMATH Keywords

model checkingcontinuous-time Markov chainslinear duration propertiesMarkovian reward models

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)

Related Items (1)

Fluid Model Checking of Timed Properties

This page was built for publication: Verification of linear duration properties over continuous-time markov chains