https://github.com/runtimeverification/javamop

Runtime verification system for Java, using AspectJ for instrumentation.
https://github.com/runtimeverification/javamop

Last synced: 3 months ago
JSON representation

Runtime verification system for Java, using AspectJ for instrumentation.

• Host: GitHub
• URL: https://github.com/runtimeverification/javamop
• Owner: runtimeverification
• License: mit
• Created: 2013-10-02T17:09:23.000Z (over 12 years ago)
• Default Branch: master
• Last Pushed: 2023-01-06T15:10:31.000Z (over 3 years ago)
• Last Synced: 2025-12-20T14:26:33.928Z (5 months ago)
• Language: Java
• Homepage: http://fsl.cs.illinois.edu/javamop
• Size: 39.1 MB
• Stars: 50
• Watchers: 24
• Forks: 40
• Open Issues: 54
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project