International Competition on Runtime Verification (CRV).

Ezio Bartocci Yliès Falcone Giles Reger

Published in: TACAS (3) (2019)

Keyphrases

international competition
model checking
data sets
information technology
formal analysis
formal verification
verification method
information systems
learning environment
hidden markov models
digital images
formal methods
fingerprint verification
concurrent systems