Model checking Android applications


Use Java PathFinder to verify properties of Android applications.

One of the main deliverables will be a set of model classes for the Android system: these will allow running throw the model checker the implementation of activities and services. Moreover, the project will aim at verifying specific properties for parts of the system that are of special interest, like the correct usage of some of the basic components, for example, the PowerManager.


student: Abdul Haseeb <hasseeb "at"> <AH>

mentor: Flavio Lerda <flerda "at"> <FL>


Program & Timeline

This project is funded by the Google Summer of Code (GSoC) program. It follows the GSoC timeline (start 05/24, finish 08/16)


The sources for this project are available from a Mercurial repository on


Project Blog

(most recent on top)

2010-06-10 (FL) - project page updated 2010-05-07 (NR) - project page created

Last modified 8 years ago Last modified on 06/09/2010 11:24:44 PM