Tom Melham
|
Professor Tom Melham FRSE
Professor of Computer Science
Tutorial Fellow,
Balliol College
+44 (0)1865 273824
+44 (0)1865 273839 (fax)
Wolfson Building, Parks Road, Oxford OX1 3QD |
Links
Personal Web Pages
List of all Publications
Recent News
Studentships
Fully Funded DPhil Studentship
The Verification Research Group is offering a fully funded D.Phil studentship in Oxford University's Department of Computer Science
Selected Publications
| A Symbolic Execution Framework for Algorithm−Level Modelling Ziyad Hanna and Tom Melham In Priyank Kalla and Prabhat Mishra, editors, High Level Design Validation and Test Workshop‚ 2009. HLDVT 2009.. Pages 94–99. IEEE. 2009. Details | BibTeX | Link (pdf) | DOI (10.1109/HLDVT.2009.5340168) |
| Assume−Guarantee Validation for STE Properties within an SVA Environment Zurab Khasidashvili‚ Gavriel Gavrielov and Tom Melham In Armin Biere and Carl Pixley, editors, Proceedings of 9th International Conference: 2009 Formal Methods in Computer−Aided Design: FMCAD 2009. Pages 108–115. IEEE. 2009. Details | BibTeX | Link (pdf) | DOI (10.1109/FMCAD.2009.5351133) |
| Design and Verification of On−Chip Communication Protocols Peter Böhm and Tom Melham No. RR−08−05. Oxford University Computing Laboratory. April, 2008. Details | BibTeX | Link (pdf) |
Info
|
Themes |
|
|
Activities |
|
|
Projects |
|
|
Completed Projects |
Model Checking Partially Ordered State Spaces | Verified Communication Protocols for Multicore/SoC Architectures | |
|
Students |
|
