A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
Primary LanguageC++Mozilla Public License 2.0MPL-2.0