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

• Concurrency, Verification & Security Seminars

This web site is under construction...