Model checking conditional CSL for continuous-time Markov chains

DOI10.1016/j.ipl.2012.09.009zbMath1259.68125OpenAlexW2135344975MaRDI QIDQ1941693

Naijun Zhan, Yang Gao, Ming Xu, Li-jun Zhang

Publication date: 21 March 2013

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://backend.orbit.dtu.dk/ws/files/51174796/653F8d01.pdf

zbMATH Keywords

formal methodscontinuous-time Markov chainsconditional logicprobabilistic systemscontinuous stochastic logic

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Specification and verification (program logics, model checking, etc.) (68Q60) Continuous-time Markov processes on discrete state spaces (60J27) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (4)

Multiphase until formulas over Markov reward models: an algebraic approach ⋮ Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking ⋮ Probabilistic Model Checking for Energy-Utility Analysis ⋮ An algebraic method to fidelity-based model checking over quantum Markov chains

Uses Software

• WSAT

This page was built for publication: Model checking conditional CSL for continuous-time Markov chains