Sign in
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