Loop Verification with Invariants and Contracts.

Published in: VMCAI (2022)

Keyphrases

model checking
supply chain
formal verification
expert systems
moment invariants
genetic algorithm
computer vision
website
verification method
data sets
databases
affine invariant
invariant features
signature verification
high security