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.
by Heila van der Merwe for The Java Pathfinder Team
This project will extend Java Pathfinder to allow the verification of Android applications.