Provably Correct Pervasive Computing Environments

  title={Provably Correct Pervasive Computing Environments},
  author={Anand Ranganathan and Roy H. Campbell},
  journal={2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom)},
The field of pervasive computing has seen a lot of exciting innovations in the past few years. However, there are currently no mechanisms for describing the properties and capabilities of pervasive computing environments in a formal manner. This makes it difficult to prove the correctnesss of a pervasive computing environment, i.e. to verify that the environment satisfies certain desired properties. In this paper, we propose a formal model for describing pervasive computing environments based… CONTINUE READING
Highly Cited
This paper has 31 citations. REVIEW CITATIONS
21 Citations
8 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 21 extracted citations

Similar Papers

Loading similar papers…