Computation tree measurement language (CTML)
From MaRDI portal
Publication:1798671
DOI10.1007/s00165-018-0457-3zbMath1398.68344OpenAlexW2809681923MaRDI QIDQ1798671
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
Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Uses Software
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