Assertion-Based Verification through Binary Instrumentation.

Enzo Brignon Laurence Pierre

Published in: DATE (2019)

Keyphrases

model checking
formal verification
verification method
database
face verification
web services
image sequences
concurrent systems
neural network
evolutionary algorithm
hamming distance
non binary
signature verification