Specification and verification of event detectors and responses.
Cynthia DisenfeldShmuel KatzPublished in: AOSD (2013)
Keyphrases
- formal verification
- model checking
- asynchronous circuits
- protocol specification
- formal methods
- active database management systems
- event detection
- formal specification
- object detection
- verification method
- concurrent systems
- face verification
- temporal logic
- specification language
- event recognition
- colored petri nets
- event driven
- provably correct
- signature verification
- data sets
- news articles
- high level