Foundations of Boolean Stream Runtime Verification.
Laura BozzelliCésar SánchezPublished in: RV (2014)
Keyphrases
- data streams
- model checking
- boolean functions
- continuous stream
- artificial intelligence
- real valued
- streaming data
- data structure
- search algorithm
- machine learning
- neural network
- formal analysis
- signature verification
- continuous queries
- face verification
- stream processing
- asynchronous circuits
- multi stream
- real world