Follow
Tom Melham
Tom Melham
Professor of Computer Science, University of Oxford
Verified email at cs.ox.ac.uk - Homepage
Title
Cited by
Cited by
Year
Introduction to HOL: A theorem proving environment for higher order logic
MJC Gordon, TF Melham
Cambridge University Press, 1993
26861993
Hardware verification using higher-order logic
A Camilleri, M Gordon, T Melham
University of Cambridge, Computer Laboratory, 1986
2131986
Automating recursive type definitions in higher order logic
TF Melham
2021989
Higher order logic and hardware verification
TF Melham, TF Melham
Cambridge University Press, 1993
1781993
Abstraction mechanisms for hardware verification
TF Melham
VLSI Specification, Verification and Synthesis, 267-291, 1988
1581988
An industrially effective environment for formal hardware verification
CJH Seger, RB Jones, JW O'Leary, T Melham, MD Aagaard, C Barrett, ...
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions …, 2005
1262005
Five axioms of alpha-conversion
AD Gordon, T Melham
Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs …, 1996
1201996
The PROSPER toolkit
LA Dennis, G Collins, M Norrish, R Boulton, K Slind, G Robinson, ...
Tools and Algorithms for the Construction and Analysis of Systems: 6th …, 2000
1132000
A mechanized theory of the π-calculus in HOL
TF Melham
University of Cambridge, Computer Laboratory, 1992
1111992
A package for inductive relation definitions in HOL
T Melham
1071992
Reasoning with inductively defined relations in the HOL theorem prover
J Camilleri, T Melham
Computer Laboratory ‚University of Cambridge, 1992
941992
A reflective functional language for hardware design and theorem proving
J Grundy, T Melham, J O'leary
Journal of Functional Programming 16 (2), 157-196, 2006
902006
Practical formal verification in microprocessor design
RB Jones, JW O'Leary, CJH Seger, MD Aagaard, TF Melham
IEEE design & test of computers 18 (4), 16-25, 2001
632001
Dynamic specialisation of XC6200 FPGAs by partial evaluation
N McKay, T Melham, KW Susanto
Proceedings. IEEE Symposium on FPGAs for Custom Computing Machines (Cat. No …, 1998
541998
A methodology for large-scale hardware verification
MD Aagaard, RB Jones, TF Melham, JW O’Leary, CJH Seger
Formal Methods in Computer-Aided Design: Third International Conference …, 2000
532000
Formal co-validation of low-level hardware/software interfaces
A Horn, M Tautschnig, C Val, L Liang, T Melham, J Grundy, D Kroening
2013 Formal Methods in Computer-Aided Design, 121-128, 2013
492013
Automatic heap layout manipulation for exploitation
S Heelan, T Melham, D Kroening
27th {USENIX} Security Symposium ({USENIX} Security 18), 763-779, 2018
472018
Hardware verification using software analyzers
R Mukherjee, D Kroening, T Melham
2015 IEEE Computer Society Annual Symposium on VLSI, 7-12, 2015
422015
Formalizing abstraction mechanisms for hardware verification in higher order logic
TF Melham
University of Cambridge, Computer Laboratory, 1990
421990
Translating dependent type theory into higher order logic
BPF Jacobs, T Melham
Berlin: Springer, 1993
371993
The system can't perform the operation now. Try again later.
Articles 1–20