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