Efficient CSL model checking using stratification

DOI10.2168/LMCS-8(2:17)2012MaRDI QIDQ2904612zbMATH OpenWikidataFDO

Authors David N. Jansen, Flemming Nielson, Holger Hermanns, Lijun Zhang

Publication date 15 August 2012

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/LMCS-8(2:17)2012

zbMATH Keywords

stratificationapproximation algorithmmodel checkingcontinuous-time Markov chainscontinuous stochastic logic

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Approximation algorithms (68W25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Automata-based CSL model checking
• Precisely deciding CSL formulas through approximate model checking for CTMCs
• CCMC: a conditional CSL model checker for continuous-time Markov chains
• Model checking conditional CSL for continuous-time Markov chains
• scientific article; zbMATH DE number 1670788

Cited in

(9)

• Multiphase until formulas over Markov reward models: an algebraic approach
• Time-bounded termination analysis for probabilistic programs with delays
• Automata-based CSL model checking
• CSL model checking algorithms for QBDs
• Statistical verification of PCTL using antithetic and stratified samples
• Checking continuous stochastic logic against quantum continuous-time Markov chains
• Precisely deciding CSL formulas through approximate model checking for CTMCs
• Model checking conditional CSL for continuous-time Markov chains
• CCMC: a conditional CSL model checker for continuous-time Markov chains

Describes a project that uses

Uses Software

• MRMC

This page was built for publication: Efficient CSL model checking using stratification

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