Compositional Verification in Action.

Hubert Garavel Frédéric Lang Laurent Mounier

Published in: FMICS (2018)

Keyphrases

formal verification
model checking
signature verification
data sets
machine learning
information systems
image processing
human actions
face verification
action rules
fingerprint verification