Oxford logo

Stochastic Modelling and Verification

Project details

Funded by: the British Council/DAAD.

Dates: 1998-2001

Institutions: University of Bonn, University of Mannheim, University of Erlangen-Nurnberg, University of Birmingham and Univerity of Edinburgh.


This research is concerned with stochastic modelling and verification of computer systems such as distributed systems and communication protocols. The project will focus on advancing the semantic foundations of stochastic process algebras. We will concentrate on: formulating a logic-based specification language for Markovian process algebras, efficient model checking methods for systems with probability and time, and developing the semantic foundations for stochastic process algebras with general distributions.


The objectives of the research are:

  • To develop a logic specification language for Markovian process algebras with exponential distributions.
  • To develop the quantitative probabilistic model checking paradigm for processes with real time.
  • To consider a class of stochastic process algebras with a large subclass of general distributions.


From Birmingham

From Edinburgh

From Bonn (previously Mannheim)

From Erlangen-Nurnberg

Associate partners

Further information

Project Meetings: