3 projects
behave-rv
Runtime verification over a live event stream, authored in Gherkin. Built on behave's parser; adds a deterministic per-entity engine and a two-sided stability contract that survives code change.
pymenu-cli
A simple yet powerful Python library for creating interactive CLI menus
PyDejaVu-RV
PyDejaVu is a Python implementation that wraps the original DejaVu jar file, providing a bridge between Python and the Java-based DejaVu runtime verification tool. This wrapper extends DejaVu's functionality by supporting a 2-phase monitoring approach.
