Tom Melham

Professor Tom Melham FRSE

Professor of Computer Science
Tutorial Fellow, Balliol College

+44 (0)1865 273824
+44 (0)1865 273839 (fax)

Design and Verification of On-Chip Communication Protocols

Peter Böhm, Tom Melham

No. RR-08-05, Technical Report, OUCL. 2008.

themes	Theory and Automated Verification
activities	Metacomputation \| Verification
projects	Model Checking Partially Ordered State Spaces
students	Sara Adams \| Peter Boehm \| Ziyad Hanna

Wolfson Building, Parks Road, Oxford OX1 3QD