Login / Signup
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