Runtime Verification of Temporal Properties over Out-of-order Data Streams.

David A. Basin Felix Klaedtke Eugen Zalinescu

Published in: CoRR (2017)

Keyphrases

data streams
temporal properties
model checking
data sets
machine learning
artificial intelligence
data model
object oriented