Synchronous and asynchronous stream runtime verification.
César SánchezPublished in: VORTEX@ISSTA (2021)
Keyphrases
- data streams
- model checking
- real time
- sliding window
- continuous stream
- face verification
- stream processing
- formal verification
- concurrent systems
- false acceptance rate
- database systems
- multiscale
- data structure
- image processing
- information retrieval
- machine learning
- streaming data
- formal methods
- incoming data
- high security
- data sets