Sign in
Introduction to the special issue on runtime verification.
Oleg Sokolsky
Grigore Rosu
Published in:
Formal Methods Syst. Des. (2012)
Keyphrases
</>
model checking
face verification
verification method
real world
database
image processing
multimedia
lower bound
temporal logic
formal verification
asynchronous circuits