xiaohe27 / javamop Goto Github PK
View Code? Open in Web Editor NEWThis project forked from runtimeverification/javamop
Runtime verification system for Java, using AspectJ for instrumentation.
Home Page: http://fsl.cs.illinois.edu/javamop
License: Other