A machine-checked soundness proof for an efficient verification condition generator.

Frédéric Vogels Bart Jacobs Frank Piessens

Published in: SAC (2010)

Keyphrases

sufficient conditions
real time
data sets
artificial intelligence
multiscale
e learning
case study
artificial neural networks
computationally efficient
theorem proving
formal verification
batch processing
asynchronous circuits