Action and State Based Computation Tree Measurement Language and Algorithms

DOI10.1007/978-3-319-99154-2_12zbMath1514.68135OpenAlexW2886322429MaRDI QIDQ6104809

Yaping Jing, Unnamed Author

Publication date: 28 June 2023

Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-99154-2_12

zbMATH Keywords

performance measuresMarkov chainprobabilistic model checking

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The temporal semantics of concurrent programs
• A logic for reasoning about time and reliability
• Probabilistic verification of Herman's self-stabilisation algorithm
• A decomposition approach for stochastic reward net models
• The complexity of probabilistic verification
• State-space support for path-based reward variables

This page was built for publication: Action and State Based Computation Tree Measurement Language and Algorithms