Foundations of Boolean stream runtime verification.
Laura BozzelliCésar SánchezPublished in: Theor. Comput. Sci. (2016)
Keyphrases
- data streams
- real valued
- model checking
- artificial intelligence
- formal verification
- real time
- functional verification
- verification method
- boolean functions
- sliding window
- streaming data
- temporal logic
- stream data
- stream processing
- data mining
- database
- relational databases
- image sequences
- face verification
- learning algorithm
- java card
- person identification