STV (Strategic Verifier)

Model Checker: https://github.com/blackbat13/ATLFormulaChecker

Graphical Interface: https://github.com/blackbat13/StraTegicVerifier

Executables: https://github.com/blackbat13/StraTegicVerifier/releases