Funded by: the British Council/DAAD.
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:
From Bonn (previously Mannheim)