jpf-android: analysing Android applications.

by Heila van der Merwe for The Java Pathfinder Team

This project will extend Java Pathfinder to allow the verification of Android applications.