A small tool for runtime verification of LTL properties based on Spot, which mainly checks whether the trace corresponding to program events can be accepted by a Büchi automaton.
Primary LanguageC++
No one’s star this repository yet.