A Specification Logic for Programs in the Probabilistic Guarded Command Language.

Ral Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski

Browse the full ICTAC paper archive.