Temporal-Logic Query Checking over Finite Data Streams.
Samuel HuangRance CleavelandPublished in: CoRR (2020)
Keyphrases
- temporal logic
- data streams
- model checking
- verification method
- linear temporal logic
- modal logic
- satisfiability problem
- query processing
- concurrent systems
- query evaluation
- mazurkiewicz traces
- bounded model checking
- computation tree logic
- sliding window
- query execution
- model checker
- temporal knowledge
- automata theoretic
- data sets
- answering queries
- formal specification
- data sources