Abstract interpretation of programs as Markov decision processes

DOI10.1016/j.scico.2005.02.008zbMath1088.68039OpenAlexW4233556240MaRDI QIDQ2568451

David Monniaux

Publication date: 10 October 2005

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2005.02.008

zbMATH Keywords

measure theoryabstract interpretationprobabilitiesprogram semanticsprobabilistic semantics

Mathematics Subject Classification ID

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

Related Items (8)

Least upper bounds for probability measures and their applications to abstractions ⋮ A game-based abstraction-refinement framework for Markov decision processes ⋮ Approximate counting in SMT and value estimation for probabilistic programs ⋮ Markov chains and Markov decision processes in Isabelle/HOL ⋮ Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation ⋮ Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates ⋮ Probabilistic model checking of biological systems with uncertain kinetic rates ⋮ Quantitative static analysis of communication protocols using abstract Markov chains

This page was built for publication: Abstract interpretation of programs as Markov decision processes