jiten-thakkar/smack

SMACK: A Bounded Software Verifier for C Programs

CNOASSERTION