Mechanised wire-wise verification of Handel-C synthesis.

Juan Ignacio Perna Jim Woodcock

Published in: Sci. Comput. Program. (2012)

Keyphrases

pairwise
model checking
face verification
formal verification
machine learning
search engine
texture synthesis
formal analysis
signature verification
asynchronous circuits
handwritten signature verification
real time
concurrent systems
high security
information retrieval
databases
data sets