Declarative Stream Runtime Verification (hLola).
Martín CeresaFelipe GorostiagaCésar SánchezPublished in: CoRR (2020)
Keyphrases
- data streams
- model checking
- sliding window
- real time
- stream processing
- stream data
- knowledge representation
- domain independent
- concurrent systems
- verification method
- cryptographic protocols
- formal analysis
- formal methods
- face verification
- high level
- streaming data
- query processing
- user interface
- multiscale
- signature verification
- artificial intelligence
- real world
- neural network