At a Glance
| Applications | Runtime Verifier Specification Language |
| Interfaces | CLI |
| Licenses | MIT |
| Maintenance | Not Maintained |
Description
Not Maintained Since 2019
Quantified Event Automata (QEA) is a specification formalism developed for runtime monitoring. This project is a reimplementation and extension of QEA monitoring techniques (explored in Giles Reger’s PhD work) by Master’s student Helena Cuenca.