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