Seamless formal verification of complex event processing applications.
AnnMarie EricssonPaul PetterssonMikael BerndtssonMarco SeiriöPublished in: DEBS (2007)
Keyphrases
- formal verification
- complex event processing
- model checking
- stream processing
- model checker
- temporal reasoning
- real time
- event processing
- bounded model checking
- event streams
- supply chain management
- automated verification
- symbolic model checking
- temporal logic
- database
- index structure
- efficient implementation
- relational databases
- data streams
- database systems
- artificial intelligence