At a Glance
| Applications | Runtime Verifier |
| Interfaces | Library |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Description
Runtime software verification and automated testing for scientific software in Python
| Applications | Runtime Verifier |
| Interfaces | Library |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Runtime software verification and automated testing for scientific software in Python