Runtime verification system for Java, using AspectJ for instrumentation. - View it on GitHub