Welcome
Quantitative Analysis and Verification forms part of the
Theory and Automated Verification
research theme at the
Oxford University Computing Laboratory.
Research areas
- Modelling and verification of ubiquitous computing systems
- Probabilistic model checking
- Model checking of industrially relevant applications
- Computational modelling and analysis of biological organisms
Useful links
This web site is under construction...