DocumentCode
2807338
Title
Bringing Hardware and Software Closer Together with Termination Analysis
Author
Cook, Byron
Author_Institution
Microsoft Res., Redmond, WA
fYear
2007
fDate
May 30 2007-June 2 2007
Firstpage
201
Lastpage
201
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/MEMCOD.2007.371223
Filename
4231798
Link To Document