Temporal-logic query checking over finite data streams.
Samuel HuangRance CleavelandPublished in: Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
- temporal logic
- data streams
- model checking
- verification method
- linear temporal logic
- modal logic
- sliding window
- satisfiability problem
- concurrent systems
- query processing
- computation tree logic
- query evaluation
- mazurkiewicz traces
- data sets
- temporal knowledge
- bounded model checking
- formal specification language
- answering queries
- model checker
- query execution
- belief revision
- range queries
- data sources
- semistructured data
- query rewriting
- transition systems
- integrity constraints
- query language