Model Checking Message Exchange in Location Based Services

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] PDF
29071412.pdf - Published Version
Restricted to Registered users only

Download (393kB) | Request a copy
Official URL: doi: 10.1109/ICCCT.2010.5640417


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

Actions (login required)

View Item View Item