Abstraction Refinement for Probabilistic Software

DOI10.1007/978-3-540-93900-9_17MaRDI QIDQ3600474zbMATH OpenOpenAlexFDO

Authors

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)

Recommendations

• Local abstraction refinement for probabilistic timed programs
• Verification and refutation of probabilistic specifications via games
• Variable probabilistic abstraction refinement
• A framework for verification of software with time and probabilities
• Automatic probabilistic program verification through random variable abstraction

Cited in

(21)

• Abstract model repair for probabilistic systems
• Model checking Markov population models by stochastic approximations
• A denotational semantics for low-level probabilistic programs with nondeterminism
• Refinement algebra for probabilistic programs
• Model checking single agent behaviours by fluid approximation
• Local abstraction refinement for probabilistic timed programs
• Model checking for performability
• Verification and refutation of probabilistic specifications via games
• On Abstraction of Probabilistic Systems
• Model checking probabilistic systems
• Abstraction of Probabilistic Systems
• A framework for verification of software with time and probabilities
• Compositional abstraction for stochastic systems
• Stochastic games for verification of probabilistic timed automata
• Abstraction, Refinement and Proof for Probabilistic Systems
• Automatic probabilistic program verification through random variable abstraction
• An abstract Monte-Carlo method for the analysis of probabilistic programs
• A game-based abstraction-refinement framework for Markov decision processes
• Abstraction-Refinement for Hierarchical Probabilistic Models
• Towards abstraction-based probabilistic program analysis
• A linear process-algebraic format with data for probabilistic automata

Describes a project that uses

Uses Software

• PRISM

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3600474)