Assertion checking environment (ACE) for formal verification of C programs.

Babita Sharma S. D. Dhodapkar S. Ramesh

Published in: Reliab. Eng. Syst. Saf. (2003)

Keyphrases

formal verification
program slicing
model checking
bounded model checking
model checker
mobile robot
dynamic environments
programming environment
symbolic model checking
automated verification
knowledge based systems
virtual world