Tom Melham - Former Graduate Students
Ed Smith:
Specifying Properties for Generalized Symbolic Trajectory Evaluation
(DPhil Oxford, 2008)
Ashish Darbari:
Symmetry Reduction for STE Model Checking using Structured Models
(DPhil Oxford, 2006)
Claire Quigley:
A Programming Logic for Java Bytecode Programs
(PhD Glasgow, 2004)
Kong Woei Susanto:
A Verification Platform for System on Chip
(PhD Glasgow, 2003)
Michael Dales:
Managing a Reconfigurable Processor in a General Purpose Workstation Environment
(PhD Glasgow, 2003)
Graham Collins:
Supporting Formal Reasoning about Functional Programming
(PhD Glasgow, 2001)
Tom Melham
, last updated in October 2008.