Runtime verification system for Java, using AspectJ for instrumentation.
Primary LanguageJavaMIT LicenseMIT
No one’s star this repository yet.