Computation tree measurement language (CTML)

DOI10.1007/S00165-018-0457-3MaRDI QIDQ1798671zbMATH OpenOpenAlexWikidataFDO

Authors 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)

Recommendations

• Action and State Based Computation Tree Measurement Language and Algorithms
• Quantified computation tree logic
• Model Checking Quantified Computation Tree Logic
• Computation tree logic and NuSMV model checker
• The Complexity of Tree Transducer Output Languages
• Computation tree logic model checking based on possibility measures
• Piecewise testable tree languages
• scientific article; zbMATH DE number 475424
• Coding tree languages based on lattice-valued logic

Cites work

• A logic for reasoning about time and reliability
• A Reliability Model for Gracefully Degrading and Standby-Sparing Systems
• An Analysis of Stochastic Shortest Path Problems
• Formal Modeling and Analysis of Timed Systems
• Formal Modeling and Analysis of Timed Systems
• Foundations of Software Science and Computational Structures
• scientific article; zbMATH DE number 1670788 (Why is no real title available?)
• scientific article; zbMATH DE number 1670870 (Why is no real title available?)
• scientific article; zbMATH DE number 3145626 (Why is no real title available?)
• scientific article; zbMATH DE number 3680123 (Why is no real title available?)
• scientific article; zbMATH DE number 3532286 (Why is no real title available?)
• scientific article; zbMATH DE number 3628083 (Why is no real title available?)
• scientific article; zbMATH DE number 1361118 (Why is no real title available?)
• scientific article; zbMATH DE number 729460 (Why is no real title available?)
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• scientific article; zbMATH DE number 2196601 (Why is no real title available?)
• Introduction to probability models
• Model checking discounted temporal properties
• Model checking of probabilistic and nondeterministic systems
• On Evaluating the Performability of Degradable Computing Systems
• Performance-Related Reliability Measures for Computing Systems
• State-space support for path-based reward variables
• Temporal logics for the specification of performance and reliability
• The complexity of probabilistic verification
• The temporal semantics of concurrent programs

Cited in

(1)

• Action and State Based Computation Tree Measurement Language and Algorithms

Describes a project that uses

Uses Software

• PRISM
• SMART_
• PEPA

This page was built for publication: Computation tree measurement language (CTML)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1798671)