reelay (pypi): Runtime verification package using formal specifications
Keywords: assertion-library|cyber-physical-systems|formal-methods|header-only|runtime-verification|stream-processing|system-verification|temporal-logic|verification