life , death , and the critical transition : finding liveness bugs in systems code ( awarded best paper ) .
A tool for checking ANSI-C programs