6 search results - page 2 / 2 » Reverse Engineering of Binary Device Drivers with RevNIC |
PLDI
2006
ACM
13 years 10 months ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...