Counterexamples in Probabilistic Model Checking

DOI10.1007/978-3-540-71209-1_8zbMath1186.68293OpenAlexW1926463588MaRDI QIDQ5758104

Tingting Han, Joost-Pieter Katoen

Publication date: 3 September 2007

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Related Items (11)

Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints ⋮ Counterexamples in Probabilistic LTL Model Checking for Markov Chains ⋮ Model Checking Linear-Time Properties of Probabilistic Systems ⋮ On Abstraction of Probabilistic Systems ⋮ Providing Evidence of Likely Being on Time: Counterexample Generation for CTMC Model Checking ⋮ K\(^{\ast}\): A heuristic search algorithm for finding the \(k\) shortest paths ⋮ Probabilistic CEGAR ⋮ Generating counterexamples for quantitative safety specifications in probabilistic B ⋮ Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey ⋮ Survey on Directed Model Checking ⋮ Conditional Probabilities over Probabilistic and Nondeterministic Systems

This page was built for publication: Counterexamples in Probabilistic Model Checking