Moily, Ashwini and Guru, Prasanna and Shetty , Keerthi S and Singh, Sanjay (2010) Model Checking Message Exchange in Location Based Services. In: International conference on Computer & Communication Technology, 17-19,Sep 2010.
![[img]](http://eprints.manipal.edu/style/images/fileicons/application_pdf.png) |
PDF
29071412.pdf - Published Version Restricted to Registered users only Download (393kB) | Request a copy |
Abstract
Over the past couple of years, the extent of the services provided on the mobile devices has increased rapidly.A special class of service among them is the Location Based Service which depends on the geographical position of the user.The aim of this paper is to model check the messages exchanged between the user and the service provider. Using a symbolic model checker tool called NuSMV, the message exchange in the system has been modelled and it is observed that the system takes care of all the constraints by satisfying all the specifications.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Uncontrolled Keywords: | Symbolic Model verifier, NuSMV, Location Based Services, Model Checker |
| Subjects: | Engineering > MIT Manipal > Information and Communication Technology |
| Depositing User: | MIT Library |
| Date Deposited: | 31 Jul 2014 07:24 |
| Last Modified: | 31 Jul 2014 07:24 |
| URI: | http://eprints.manipal.edu/id/eprint/140289 |
Actions (login required)
 |
View Item |