Verifying Functional Correctness of C Programs with VCC.

Published in: NASA Formal Methods (2011)

Keyphrases

provably correct
functional language
neural network
computer programs
programming environment
database
machine learning
high level
control structures
functional properties
concurrent programs