Probabilistic abstract interpretation

DOI10.1007/978-3-642-28869-2_9MaRDI QIDQ2892727zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• scientific article; zbMATH DE number 1617330
• -calculus and quantitative program analysis (extended abstract)
• Probabilistic abstract interpretation: from trace semantics to DTMC's and linear regression
• scientific article; zbMATH DE number 1692951
• An abstract Monte-Carlo method for the analysis of probabilistic programs

Cited in

(32)

• Approximate counting in SMT and value estimation for probabilistic programs
• Generating functions for probabilistic programs
• A denotational semantics for low-level probabilistic programs with nondeterminism
• Probabilistic Lipschitz analysis of neural networks
• Quantitative static analysis of communication protocols using abstract Markov chains
• Probabilistic software product lines
• Abstract interpretation of programs as Markov decision processes
• scientific article; zbMATH DE number 1617330 (Why is no real title available?)
• scientific article; zbMATH DE number 1692951 (Why is no real title available?)
• scientific article; zbMATH DE number 1693487 (Why is no real title available?)
• Probabilistic abstract interpretation: from trace semantics to DTMC's and linear regression
• Abstraction refinement guided by a learnt probabilistic model
• -calculus and quantitative program analysis (extended abstract)
• Probabilistic Interpretations of Predicates
• Probabilistic analysis of programs: a weak limit approach
• A Systematic Approach to Probabilistic Pointer Analysis
• Abstraction of Probabilistic Systems
• Abstract Interpretation for Worst and Average Case Analysis
• Best probabilistic transformers
• scientific article; zbMATH DE number 1973222 (Why is no real title available?)
• Abstraction, Refinement and Proof for Probabilistic Systems
• scientific article; zbMATH DE number 2090849 (Why is no real title available?)
• Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting
• An expectation transformer approach to predicate abstraction and data independence for probabilistic programs
• An abstract Monte-Carlo method for the analysis of probabilistic programs
• Relational Analysis and Precision via Probabilistic Abstract Interpretation
• Probabilistic abstract interpretation of imperative programs using truncated normal distributions
• Conditioning in probabilistic programming
• A specification logic for programs in the probabilistic guarded command language
• Towards abstraction-based probabilistic program analysis
• Probabilistic output analyses for deterministic programs -- reusing existing non-probabilistic analyses
• Probabilistic output analysis by program manipulation

This page was built for publication: Probabilistic abstract interpretation

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