TeSSLa - An Ecosystem for Runtime Verification.

Hannes Kallwies Martin Leucker Malte Schmitz Albert Schulz Daniel Thoma Alexander Weiss

Published in: RV (2022)

Keyphrases

model checking
formal verification
face verification
verification method
real time
decision making
signature verification
person identification
database
databases
machine learning
artificial intelligence
high level
distributed systems