RV-Android allows you to write MOP, AspectJ, and RV-Monitor properties over all binary Android applications. A user friendly, GUI interface featuring RV-Android technology is coming soon.
Download the beta of RV-Android here. See the README for instructions on installing and running RV-Android. A POSIX-compliant system is required.
Note: Due to an ongoing major overhaul in the JavaMOP project and the difficulty of installing JavaMOP, Example 5 is bundled in the distribution as the equivalent AspectJ property. The property is however manually compatbile with JavaMOP