NASA Copilot: A stream-based runtime-verification framework
github.com