Inverting Martin Synthesis for Verification.

Stephen Longfield Jr.Rajit Manohar

Published in: ASYNC (2013)

Keyphrases

model checking
program synthesis
formal verification
asynchronous circuits
face verification
verification method
data sets
image processing
input image
temporal logic
formal analysis
high security