The COST IC0701 Verification Competition 2011.

Thorsten Bormer Marc Brockschmidt Dino Distefano Gidon Ernst Jean-Christophe Filliâtre Radu Grigore Marieke Huisman Vladimir Klebanov Claude Marché Rosemary Monahan Wojciech Mostowski Nadia Polikarpova Christoph Scheben Gerhard Schellhorn Bogdan Tofan Julian Tschannen Mattias Ulbrich

Published in: FoVeOOS (2011)

Keyphrases

model checking
high cost
data sets
total cost
minimum cost
data structure
artificial intelligence
neural network
databases
knowledge base
petri net
real time
face verification
formal analysis
expected cost
minimal cost
fingerprint verification
cost reduction