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

Babita Sharma S. D. Dhodapkar S. Ramesh

Published in: SAFECOMP (2002)

Keyphrases

formal verification
program slicing
model checking
programming environment
dynamic environments
complex environments
model checker
real time
mobile robot
bounded model checking
dynamic programming
symbolic model checking
automated verification