search

runtimeverification / javamop

Runtime verification system for Java, using AspectJ for instrumentation.
http://fsl.cs.illinois.edu/javamop
MIT License
45 stars 37 forks source link

Update readme #265

Closed owolabileg closed 1 year ago

owolabileg commented 1 year ago

This was opened in error. Sorry.