Efficient CSL Model Checking Using Stratification
From MaRDI portal
Publication:2904612
DOI10.2168/LMCS-8(2:17)2012zbMath1348.68152WikidataQ59416315 ScholiaQ59416315MaRDI QIDQ2904612
Holger Hermanns, Flemming Nielson, David N. Jansen, Li-jun Zhang
Publication date: 15 August 2012
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
stratificationapproximation algorithmmodel checkingcontinuous-time Markov chainscontinuous stochastic logic
Specification and verification (program logics, model checking, etc.) (68Q60) Approximation algorithms (68W25) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (5)
Precisely deciding CSL formulas through approximate model checking for CTMCs ⋮ Multiphase until formulas over Markov reward models: an algebraic approach ⋮ Time-bounded termination analysis for probabilistic programs with delays ⋮ Automata-Based CSL Model Checking ⋮ Statistical verification of PCTL using antithetic and stratified samples
Uses Software
This page was built for publication: Efficient CSL Model Checking Using Stratification
