Login / Signup
Runtime Verification at Work: A Tutorial.
Philip Daian
Dwight Guth
Chris Hathhorn
Yilong Li
Edgar Pek
Manasvi Saxena
Traian-Florin Serbanuta
Grigore Rosu
Published in:
RV (2016)
Keyphrases
</>
model checking
face verification
verification method
database
data sets
information retrieval
artificial intelligence
computer vision
website
formal methods
high security
neural network
evolutionary algorithm
formal verification
fundamental principles