Probabilistic Abstract Interpretation

DOI10.1007/978-3-642-28869-2_9zbMath1352.68151OpenAlexW88990729MaRDI QIDQ2892727

Patrick Cousot, Michael Monerau

Publication date: 22 June 2012

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28869-2_9

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (9)

Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting ⋮ A denotational semantics for low-level probabilistic programs with nondeterminism ⋮ Probabilistic Analysis of Programs: A Weak Limit Approach ⋮ Approximate counting in SMT and value estimation for probabilistic programs ⋮ A specification logic for programs in the probabilistic guarded command language ⋮ Conditioning in probabilistic programming ⋮ Probabilistic Lipschitz analysis of neural networks ⋮ Quantitative static analysis of communication protocols using abstract Markov chains ⋮ Generating functions for probabilistic programs

This page was built for publication: Probabilistic Abstract Interpretation