Lecture Notes in Control and Information Sciences

1 total work

Abstraction, Refinement and Proof for Probabilistic Systems

by Annabelle McIver and Charles Carroll Morgan

Published 19 November 2004

Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .

Presents results of a large and integrated body of research in the area of 'quantitative' program logics.