HAVOC: Heap-Aware Verifier for C Programs

Language:
English
HAVOC is a modular verifier for systems software written in C. Last published: June 2, 2008.