The Verification Grand Challenge.

Jim Woodcock Richard Banach

Published in: J. Univers. Comput. Sci. (2007)

Keyphrases

grand challenge
autonomous driving
model checking
face verification
person identification
fingerprint verification
grand challenges
functional verification
data sets
metadata
dynamic programming
cryptographic protocols