@inproceedings{9f59dcc022274233a0ebab824eca5094,
title = "Static analysis of programs with imprecise probabilistic inputs",
abstract = "Having a precise yet sound abstraction of the inputs of numerical programs is important to analyze their behavior. For many programs, these inputs are probabilistic, but the actual distribution used is only partially known. We present a static analysis framework for reasoning about programs with inputs given as imprecise probabilities: we define a collecting semantics based on the notion of previsions and an abstract semantics based on an extension of Dempster-Shafer structures. We prove the correctness of our approach and show on some realistic examples the kind of invariants we are able to infer.",
author = "Assale Adje and Olivier Bouissou and Jean Goubault-Larrecq and Eric Goubault and Sylvie Putot",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2014.; 5th International Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2013 ; Conference date: 17-05-2013 Through 19-05-2013",
year = "2014",
month = jan,
day = "1",
doi = "10.1007/978-3-642-54108-7\_2",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "22--47",
editor = "Ernie Cohen and Andrey Rybalchenko and Andrey Rybalchenko",
booktitle = "Verified Software",
}