Abstraction Refinement for Probabilistic Software
From MaRDI portal
Publication:3600474
DOI10.1007/978-3-540-93900-9_17zbMATH Open1206.68090OpenAlexW1498004481MaRDI QIDQ3600474FDOQ3600474
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
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)
- An abstract Monte-Carlo method for the analysis of probabilistic programs
- A framework for verification of software with time and probabilities
- Model checking for performability
- Abstraction of Probabilistic Systems
- On Abstraction of Probabilistic Systems
- Model checking Markov population models by stochastic approximations
- Abstraction, Refinement and Proof for Probabilistic Systems
- Local abstraction refinement for probabilistic timed programs
- Compositional abstraction for stochastic systems
- Stochastic games for verification of probabilistic timed automata
- Model checking probabilistic systems
- Towards abstraction-based probabilistic program analysis
- A game-based abstraction-refinement framework for Markov decision processes
- Model checking single agent behaviours by fluid approximation
- Abstraction-Refinement for Hierarchical Probabilistic Models
- Refinement algebra for probabilistic programs
- Verification and refutation of probabilistic specifications via games
- A linear process-algebraic format with data for probabilistic automata
- A denotational semantics for low-level probabilistic programs with nondeterminism
- Automatic probabilistic program verification through random variable abstraction
- Abstract model repair for probabilistic systems
Uses Software
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)
