Tom Melham

Professor Tom Melham FRSE

Professor of Computer Science

Tutorial Fellow, Balliol College

T: +44 (0)1865 273824

F: +44 (0)1865 273839 (fax)

Themes:

Automated Verification

Completed Projects:

Selected Publications

View All Manage publications

Modelling‚ abstraction‚ and computation in systems biology: A view from computer science

Tom Melham

In Progress in Biophysics and Molecular Biology. Vol. 111. No. 2−3. Pages 129–136. April, 2013.

Focussed Issue: Conceptual Foundations of Systems Biology

Details about Modelling‚ abstraction‚ and computation in systems biology: A view from computer science | BibTeX data for Modelling‚ abstraction‚ and computation in systems biology: A view from computer science | DOI (10.1016/j.pbiomolbio.2012.08.015)
Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs

John O'Leary‚ Roope Kaivola and Tom Melham

In Barbara Jobstmann and Sandip Ray, editors, FMCAD 2013: Formal Methods in Computer−Aided Design: Portland‚ Oregon‚ USA‚ 20–23 October 2013. Pages 97–104. IEEE. 2013.

Details about Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs | BibTeX data for Relational STE and Theorem Proving for Formal Verification of Industrial Circuit Designs
Formal Co−Validation of Low−Level Hardware/Software Interfaces

Alex Horn‚ Michael Tautschnig‚ Celina Val‚ Lihao Liang‚ Tom Melham‚ Jim Grundy and Daniel Kroening

In Barbara Jobstmann and Sandip Ray, editors, FMCAD 2013: Formal Methods in Computer−Aided Design: Portland‚ Oregon‚ USA‚ 20–23 October 2013. Pages 121–128. IEEE. 2013.

Details about Formal Co−Validation of Low−Level Hardware/Software Interfaces | BibTeX data for Formal Co−Validation of Low−Level Hardware/Software Interfaces