Tale152/LTL_model_checker

LTL model checker for lasso paths

Python

Readme
0Issues
1Stargazer
1Watcher

No issues in this repository yet.

Topics

ltl ltl-formulas model-checking logic logic-in-computer-science python univer university-project university erasmus

Contact site admin: Geeks.