Computation tree measurement language (CTML)

DOI10.1007/s00165-018-0457-3zbMath1398.68344OpenAlexW2809681923MaRDI QIDQ1798671

Yaping Jing, Andrew S. Miner

Publication date: 23 October 2018

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-018-0457-3

zbMATH Keywords

Markov chainsperformance measuresprobabilistic model checking

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)

Uses Software

• PRISM
• SMART_
• PEPA

Cites Work

• The temporal semantics of concurrent programs
• A logic for reasoning about time and reliability
• Model checking discounted temporal properties
• Model checking of probabilistic and nondeterministic systems
• On Evaluating the Performability of Degradable Computing Systems
• An Analysis of Stochastic Shortest Path Problems
• A Reliability Model for Gracefully Degrading and Standby-Sparing Systems
• Performance-Related Reliability Measures for Computing Systems
• The complexity of probabilistic verification
• State-space support for path-based reward variables
• Temporal logics for the specification of performance and reliability
• Foundations of Software Science and Computational Structures
• Formal Modeling and Analysis of Timed Systems
• Formal Modeling and Analysis of Timed Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item