From C to Infinity and Back: Unbounded Auto-active Verification with VCC.

Published in: CAV (2012)

Keyphrases

model checking
data sets
computer vision
formal verification
asynchronous circuits
artificial intelligence
image processing
evolutionary algorithm
signature verification
concurrent systems