GitHub repository: xiaohe27/javamop
Primary language: Java
Description: Runtime verification system for Java, using AspectJ for instrumentation.