GSoC/GCI Archive
Google Summer of Code 2012 The Java Pathfinder Team

Model Checking Android Applications

by Marko Dimjašević for The Java Pathfinder Team

This project would involve extending the Java Path Finder (JPF) software model checker to handle Android service applications. More at: https://gitorious.org/jpf-android-services