In previous presentations a notion of probabilistic predicate and a Hoare style logic have been introduced. A basic probabilistic predicate gives the probability of a certain property. The predicates can be combined with both logical operators and arithmetical operators.

In this presentation a language with both nondeterminism and probability is …

read more