Probabilistic abstract interpretation of imperative programs using truncated normal distributions

DOI10.1016/J.ENTCS.2008.11.018MaRDI QIDQ5415663zbMATH OpenOpenAlexFDO

Authors Michael J. A. Smith

Publication date 13 May 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.11.018

zbMATH Keywords

probabilistic abstract interpretationprobabilistic semanticstruncated normal distributionswidening operators

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• scientific article; zbMATH DE number 1617330
• scientific article; zbMATH DE number 1953029
• Probabilistic abstract interpretation
• Abstract interpretation of programs as Markov decision processes
• scientific article; zbMATH DE number 1692951

Cites work

• scientific article; zbMATH DE number 1617330 (Why is no real title available?)
• scientific article; zbMATH DE number 2090713 (Why is no real title available?)
• Quantitative static analysis of distributed systems
• Semantics of probabilistic programs
• Some results on the multivariate truncated normal distribution
• Stochastic modelling of communication protocols from source code
• The multivariate normal distribution

Cited in

(3)

• scientific article; zbMATH DE number 1692951 (Why is no real title available?)
• A game-based abstraction-refinement framework for Markov decision processes
• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

This page was built for publication: Probabilistic abstract interpretation of imperative programs using truncated normal distributions

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