Unified Approach to Static and Runtime Verification.

Olga Thoss Andreas Werner Robert Kaiser Reinhold Kröger

Published in: GI-Jahrestagung (2020)

Keyphrases

model checking
face verification
feature selection
face recognition
data sets
search algorithm
asynchronous circuits
functional verification
real time
formal analysis
formal verification
verification method
concurrent systems