6 search results - page 2 / 2 » Reverse Engineering of Binary Device Drivers with RevNIC |
187
click to vote
PLDI
2006
ACM
16 years 14 days 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...