Part of the Lecture Notes in Computer Science book series (LNCS, volume 7214)
satabs: A Bit-Precise Verifier for C Programs
satAbs is a bit-precise software model checker for ANSI-C programs. It implements sound predicate-abstraction based algorithms for both sequential and concurrent software.
© Springer-Verlag Berlin Heidelberg 2012