Formal verification for event stream processing: Model checking of BeepBeep stream processing pipelines.
Alexis BédardSylvain HalléPublished in: Inf. Comput. (2023)
Keyphrases
- stream processing
- formal verification
- model checking
- model checker
- temporal logic
- automated verification
- symbolic model checking
- complex events
- data processing
- data streams
- bounded model checking
- event processing
- complex event processing
- continuous queries
- formal specification
- formal methods
- query execution
- stream data
- query processing
- verification method
- transition systems
- database
- query optimization
- data management
- multi dimensional
- linear temporal logic
- data structure