C program verification: Verification condition explanation and standard library.

Alexey V. Promsky

Published in: Autom. Control. Comput. Sci. (2012)

Keyphrases

database
data sets
databases
neural network
bayesian networks
expert systems
open source
distributed systems
model checking
formal verification
iso iec