Focused Certification of an Industrial Compilation and Static Verification Toolchain.

Zhi Zhang Robby John Hatcliff Yannick Moy Pierre Courtieu

Published in: SEFM (2017)

Keyphrases

model checking
third party
industrial applications
technology transfer
data sets
databases
person identification
real world
machine learning
search engine
data model
formal methods
knowledge compilation
signature verification
fingerprint verification
verification method