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:

Verification of the Tree−Based Hierarchical Read−Copy Update in the Linux Kernel

Lihao Liang‚ Paul E. McKenney‚ Daniel Kroening and Tom Melham

In arXiv Computing Research Repository. Vol. arXiv:1610:03052 [cs.LO]. October, 2016.

Details about Verification of the Tree−Based Hierarchical Read−Copy Update in the Linux Kernel | BibTeX data for Verification of the Tree−Based Hierarchical Read−Copy Update in the Linux Kernel
Equivalence Checking a Floating−point Unit against a High−level C Model: Extended Version

Rajdeep Mukherjee‚ Saurabh Joshi‚ Andreas Griesmayer‚ Daniel Kroening and Tom Melham

In arXiv Computing Research Repository. Vol. arXiv:1609.00169 [cs.SE]. September, 2016.

Details about Equivalence Checking a Floating−point Unit against a High−level C Model: Extended Version | BibTeX data for Equivalence Checking a Floating−point Unit against a High−level C Model: Extended Version
Generating test case chains for reactive systems

Peter Schrammel‚ Tom Melham and Daniel Kroening

In International Journal on Software Tools for Technology Transfer. Vol. 18. No. 3. Pages 319–334. June, 2016.

Details about Generating test case chains for reactive systems | BibTeX data for Generating test case chains for reactive systems | DOI (10.1007/s10009-014-0358-6) | Download (pdf) of Generating test case chains for reactive systems