D.L.: Successive approximation of abstract transition relations. In: LICS (2001) 1 Available at http://www.kenmcmil.com/ SatAbs: A Bit-Precise Verifier for C Programs 555 (0)

by S Das, Dill