Explore projects
-
Spot / Spot
GNU General Public License v3.0 onlyC++17 library for LTL, ω-automata manipulation, and model checking. Comes with Python bindings.
Updated -
Updated -
Updated -
Updated
C++17 library for LTL, ω-automata manipulation, and model checking. Comes with Python bindings.