Login / Signup
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