Select a tag to browse associated projects and drill deeper into the tag cloud.
Spot
Claimed by EPITA Research and Developm... Analyzed 4 months ago
Spot is a C++17 library for ω-automata and LTL formulas manipulations, with applications to model checking and reactive synthesis. It comes with a dozen command-line utilities and Python bindings.
Licenses:
gpl3_or_l...