Verification of parametric system designs.

Alessandro Cimatti Iman Narasamdya Marco Roveri

Published in: FMCAD (2012)

Keyphrases

shape grammars
face verification
model checking
formal verification
signature verification
asynchronous circuits
data mining
parametric models
semi parametric
high security
verification method
production system
formal analysis
concurrent systems
functional verification