These publications represent roughly 15 years of research within the general theme of probabilistic, nondeterministic and secure models for computer programs. The work began in Oxford in 1995, and moved to Australia in 2000.
See in particular our
Abstraction, Refinement and Proof for Probabilistic Systems
Published January 2005
We are currently
We were earlier also