Quantitative Analysis and Verification

Quantitative Analysis and Verification forms part of the Verification research theme at the Department of Computer Science, University of Oxford. Research in this area centres around the modelling, analysis and verification of complex systems, with particular emphasis on quantitative aspects such as probabilistic and real-time behaviour. This work spans both theory and practice, involving the development of formalisms, theories, algorithms and tools, and their application to real-world case studies.

Research topics include:

• Probabilistic model checking tools and techniques;
• Verification of probabilistic and real-time systems;
• Modelling and verification of ubiquitous and adaptive computing systems;
• Computational modelling and analysis of biological systems.