ADRENALIN-RV is Android Runtime Verification using Load-time Weaving. More information about the tool can be found here;
The new release adds support for multiple process runtime verification using a extended regular expression. The examples can be found in src-instr and src-analysis.