Three-valued abstraction for probabilistic systems

DOI10.1016/j.jlap.2012.03.007zbMath1277.68219WikidataQ57801178 ScholiaQ57801178MaRDI QIDQ444484

Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf

Publication date: 14 August 2012

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2012.03.007

zbMATH Keywords

Markov chains; abstraction; probabilistic systems; Kripke structure

Mathematics Subject Classification ID

03B70: Logic in computer science

68Q60: Specification and verification (program logics, model checking, etc.)

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)

Uses Software

• PRISM
• SMART_
• MRMC
• Ymer
• PEPA