Login / Signup

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

David A. BasinFelix KlaedtkeEugen Zalinescu
Published in: CAV (1) (2017)
Keyphrases
  • temporal properties
  • data streams
  • model checking
  • sliding window
  • concept drift
  • formal methods
  • computational intelligence