Controlling Polyvariance for Specialization-based Verification.

Fabio Fioravanti Alberto Pettorossi Maurizio Proietti Valerio Senni

Published in: CILC (2011)

Keyphrases

model checking
formal verification
asynchronous circuits
verification method
data sets
signature verification
databases
neural network
expert systems
user interface
formal methods
test generation
fingerprint verification