At a Glance
| Applications | Runtime Verifier |
| Interfaces | CLI |
| Maintenance | Not Maintained |
Description
Not Maintained Since 2019
Runtime verification system for Java, using AspectJ for instrumentation.
| Applications | Runtime Verifier |
| Interfaces | CLI |
| Maintenance | Not Maintained |
Runtime verification system for Java, using AspectJ for instrumentation.