VIS: A System for Verification and Synthesis.

Robert K. Brayton Gary D. Hachtel Alberto L. Sangiovanni-Vincentelli Fabio Somenzi Adnan Aziz Szu-Tsung Cheng Stephen A. Edwards Sunil P. Khatri Yuji Kukimoto Abelardo Pardo Shaz Qadeer Rajeev K. Ranjan Shaker Sarwary Thomas R. Shiple Gitanjali Swamy Tiziano Villa

Published in: CAV (1996)

Keyphrases

model checking
program synthesis
texture synthesis
formal methods
formal verification
person identification
face verification
signature verification
verification method
data sets
computer vision
image processing
image sequences
multiscale
evolutionary algorithm