Assertion Checking Environment (ACE) for Formal Verification of C Programs.

Babita Sharma, S. D. Dhodapkar, S. Ramesh

Browse the full SAFECOMP paper archive.