Runtime Verification: Passing on the Baton.

Christian Colombo Gordon J. Pace Gerardo Schneider

Published in: Formal Methods in Outer Space (2021)

Keyphrases

model checking
real time
signature verification
formal verification
fingerprint verification
asynchronous circuits
face verification
formal analysis
machine learning
web pages
control system
formal methods
high security