At a Glance
| Applications | Runtime Verifier |
| Interfaces | CLI |
| Licenses | BSD-3-Clause |
| Maintenance | Not Maintained |
Description
Not Maintained Since 2014
Runtime verification for C code via a GCC plugin architecture.
| Applications | Runtime Verifier |
| Interfaces | CLI |
| Licenses | BSD-3-Clause |
| Maintenance | Not Maintained |
Runtime verification for C code via a GCC plugin architecture.