Approach for Classifying the Automatability of Verification and Validation Techniques.

Katharina Langenbach Markus Rabe

Published in: WSC (2023)

Keyphrases

model checking
databases
face verification
database
person identification
automatic classification
signature verification
verification method
high security
test generation
formal verification
hierarchical classification
formal analysis
formal methods
temporal logic
information technology
digital libraries