life , death , and the critical transition : finding liveness bugs in systems code ( awarded best paper ) .
CMC: a pragmatic approach to model checking real code