Concepedia

Tom Melham

TM

24

Publications

696

Citations

13

H-Index

1992

Active since

Affiliations

University of Oxford(Current)

Intel (United States)

University of Glasgow

Queen Mary University of London

University of Waterloo

Tom Melham is an author at University of Oxford specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal VerificationVerificationFormal MethodsComputer EngineeringProgram AnalysisSoftware AnalysisSoftware TestingHardware Security

Publications per year

1992–2021

24

Publications

24

An industrially effective environment for formal hardware verification

C.-J.H. Seger, Robert B. Jones, John O’Leary et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2005 · 90 citations

Engineering, Hardware Verification Language, Verification +23

A Package For Inductive Relation Definitions In HOL

Tom Melham · 2005 · 59 citations

Engineering, Verification, Automated Proof +17

Practical formal verification in microprocessor design

Robert B. Jones, John O’Leary, C.-J.H. Seger et al. · IEEE Design & Test of Computers · 2001 · 57 citations

Practical Formal Verification, Engineering, Hardware Verification Language +17

A reflective functional language for hardware design and theorem proving

Jim Grundy, Tom Melham, John O’Leary · Journal of Functional Programming · 2005 · 57 citations · Full text

Reflect Language, Engineering, Hardware Verification Language +25

A mechanized theory of the &pi-calculus in Hol

Tom Melham · OpenGrey (Institut de l'Information Scientifique et Technique) · 1994 · 52 citations

Rows per page

1–5 of 24