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