CSL Model Checking Algorithms for Infinite-State Structured Markov Chains

DOI10.1007/978-3-540-75454-1_24MaRDI QIDQ3510851zbMATH OpenOpenAlexFDO

Authors Anne Remke, B. R. Haverkort

Publication date 3 July 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75454-1_24

Mathematics Subject Classification ID

Queueing theory (aspects of probability theory) (60K25) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks
• Tools and Algorithms for the Construction and Analysis of Systems
• CSL model checking algorithms for QBDs
• Model-checking large structured Markov chains.
• scientific article; zbMATH DE number 2090708

Cited in

(3)

• Quantitative analysis of communication scenarios
• Tools and Algorithms for the Construction and Analysis of Systems
• A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks

This page was built for publication: CSL Model Checking Algorithms for Infinite-State Structured Markov Chains

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