Formal verification of a pervasive messaging system.
Savas KonurMichael FisherSimon DobsonStephen KnoxPublished in: Formal Aspects Comput. (2014)
Keyphrases
- formal verification
- model checking
- bounded model checking
- model checker
- automated verification
- pervasive computing
- context aware
- fault tolerant
- symbolic model checking
- program slicing
- computing environments
- publish subscribe
- distributed object oriented
- temporal logic
- intelligent environments
- smart environments
- knowledge base
- context awareness
- distributed systems
- multi agent