Formal Verification for C Program.

Junyan Qian Baowen Xu

Published in: Informatica (2007)

Keyphrases

formal verification
program slicing
model checking
model checker
automated verification
symbolic model checking
bounded model checking
program execution
control program
neural network
test cases
temporal logic
functional verification