Tom Melham
Professor Tom Melham FRSE
Selected Publications
-
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
