Tom Melham
|
Professor
Tom
Melham
FRSE
Professor of Computer Science
Tutorial Fellow,
Balliol College
+44 (0)1865 273824
+44 (0)1865 273839 (fax)
|
Links
Personal Web Pages
List of all Publications
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 | DOI (10.1109/HLDVT.2009.5340168) | Download (pdf) |
| 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 | DOI (10.1109/FMCAD.2009.5351133) | Download (pdf) |
| Design and Verification of On−Chip Communication Protocols Peter Böhm and Tom Melham No. RR−08−05. Oxford University Computing Laboratory. April, 2008. |
Info
|
Themes |
|
|
Activities |
|
|
Projects |
|
|
Completed Projects |
Model Checking Partially Ordered State Spaces | Verified Communication Protocols for Multicore/SoC Architectures | |
|
Current Students |
|
|
Past Students |
|
