Model checking of the reliability of publish/subscribe structure based system.
Yue JiaEliane L. BodaneseJohn BighamPublished in: ICCC (2012)
Keyphrases
- model checking
- publish subscribe
- temporal logic
- formal verification
- symbolic model checking
- model checker
- event driven
- automated verification
- verification method
- temporal properties
- computation tree logic
- timed automata
- concurrent systems
- formal methods
- formal specification
- bounded model checking
- overlay network
- database management systems
- transition systems
- epistemic logic
- wireless sensor networks
- linear temporal logic
- data mining
- databases