A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
verification stream-processing header-only temporal-logic formal-methods assertion-library runtime-verification cyber-physical-systems system-verification
-
Updated
Jul 6, 2025 - C++