Title :
Bringing Hardware and Software Closer Together with Termination Analysis
Author_Institution :
Microsoft Res., Redmond, WA
fDate :
May 30 2007-June 2 2007
Abstract :
When computers hang the root cause is usually due to termination bugs in the software that interfaces with hardware. In this talk the author discuss efforts to build program termination proof tools designed to find these types of bugs in systems software.
Keywords :
program debugging; software tools; hardware; program termination proof tools; systems software; termination bugs; Computer bugs; Computer interfaces; Hardware; System software;
Conference_Titel :
Formal Methods and Models for Codesign, 2007. MEMOCODE 2007. 5th IEEE/ACM International Conference on
Conference_Location :
Nice
Print_ISBN :
1-4244-1050-9
DOI :
10.1109/MEMCOD.2007.371223
