A Certified Multi-prover Verification Condition Generator.

Paolo Herms Claude Marché Benjamin Monate

Published in: VSTTE (2012)

Keyphrases

sufficient conditions
theorem prover
real time
theorem proving
face verification
model checking
data sets
databases
neural network
information retrieval
knowledge base
data structure
artificial neural networks
person identification
high security
verification method