Abstraction Refinement for Probabilistic Software

DOI10.1007/978-3-540-93900-9_17zbMath1206.68090OpenAlexW1498004481MaRDI QIDQ3600474

No author found.

Publication date: 10 February 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-93900-9_17

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (11)

A denotational semantics for low-level probabilistic programs with nondeterminism ⋮ Model Checking Probabilistic Systems ⋮ A game-based abstraction-refinement framework for Markov decision processes ⋮ Abstract model repair for probabilistic systems ⋮ Local abstraction refinement for probabilistic timed programs ⋮ Model checking Markov population models by stochastic approximations ⋮ A linear process-algebraic format with data for probabilistic automata ⋮ Compositional Abstraction for Stochastic Systems ⋮ Stochastic Games for Verification of Probabilistic Timed Automata ⋮ Model checking for performability ⋮ Model checking single agent behaviours by fluid approximation

Uses Software

• PRISM

This page was built for publication: Abstraction Refinement for Probabilistic Software