Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions

DOI10.1016/j.entcs.2008.11.018zbMath1286.68094OpenAlexW2010298731MaRDI QIDQ5415663

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 semanticstruncated normal distributionswidening operatorsprobabilistic abstract interpretation

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)

Related Items (1)

A game-based abstraction-refinement framework for Markov decision processes

Cites Work

• Unnamed Item
• Unnamed Item
• Some results on the multivariate truncated normal distribution
• Semantics of probabilistic programs
• The multivariate normal distribution
• Stochastic Modelling of Communication Protocols from Source Code
• Quantitative static analysis of distributed systems

This page was built for publication: Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions