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