/javamop

Runtime verification system for Java, using AspectJ for instrumentation.

Primary LanguageJavaMIT LicenseMIT

Issues