Runtime verification system for Java, using AspectJ for instrumentation.