At a Glance
| Applications | Runtime Verifier |
| Interfaces | CLI |
| Licenses | NASA Open Source |
| Maintenance | Actively Maintained |
Description
MESA is a framework that provides runtime verification of distributed systems in a nonintrusive manner.
| Applications | Runtime Verifier |
| Interfaces | CLI |
| Licenses | NASA Open Source |
| Maintenance | Actively Maintained |
MESA is a framework that provides runtime verification of distributed systems in a nonintrusive manner.