doganulus/reelay

A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.

语言：C++ · GitHub 星标：46 · Fork：8

话题：assertion-library · cyber-physical-systems · formal-methods · header-only · runtime-verification · stream-processing · system-verification · temporal-logic

在 GitHub 上查看原仓库