Formal Verification of C Systems Code.

Published in: J. Autom. Reason. (2009)

Keyphrases

formal verification
automated verification
learning systems
model checking
neural network
distributed systems
artificial intelligence
reinforcement learning
knowledge acquisition
legacy systems
symbolic model checking
program slicing