From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques.

Vasileios Koutavas Yu-Yang Lin Nikos Tzevelekos

Published in: TACAS (2) (2022)

Keyphrases

verification method
model checking
symbolic representation
high level
face verification
person identification
neural learning
high security
databases
information retrieval
artificial intelligence
database systems
artificial neural networks
type checking
handwritten signature verification