Browsing Computer Science (PhD Theses) by Author "Bresciani, Riccardo"
Now showing items 1-1 of 1
-
Probabilistic program verification in the style of the unifying theories of programming
Bresciani, Riccardo (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2013)We present a novel framework to reason on programs based on probability distributions on the state space of a program: they are functions from program states to real numbers in the range [0..1], which can be used to represent ...