 |
|
|
|
|
|
|
You requested this document: |
|
|
|
|
|
|
|
|
|
|
1. |
Bringing Hardware and Software Closer Together with Termination Analysis
Cook, Byron;
Formal Methods and Models for Codesign, 2007. MEMOCODE 2007. 5th IEEE/ACM International Conference on
May 30 2007-June 2 2007
Page(s):201
-
201
Abstract:
When computers hang the root cause is usually due to termination bugs in the software that interfaces with hardware. In this talk I will discuss recent efforts to build program termination proof tools designed to find these types of bugs in systems software.
|
|
|
|
|
Abstract
| Full Text:
PDF(29 KB)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
Key |
|
|
|
|
|
IEEE
Journal or Magazine |
|
|
IEE Journal
or Magazine |
|
|
IEEE Conference
Proceeding |
|
|
IEE Conference
Proceeding |
|
|
IEEE Standard |
|
|
|
| |
| |
|
|
|
|
|
|
|
|
Cart
