Collected sources and patterns will appear here. Add from search or the patterns library.
TemporalSpecification -> SourceCode<C>
Compile a high-level temporal logic specification into stateful, memory-bounded runtime monitoring source code.
Problem it solves
Hand-writing memory-safe, non-allocating temporal logic checkers in low-level languages is highly error-prone.
Consumes
Emits
The real projects this mechanism was found in. Attribution is the point — this is how the best teams actually do it.