Giters
Tale152
/
LTL_model_checker
LTL model checker for lasso paths
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
1
Watchers:
1
Issues:
0
Forks:
0
ltl
ltl-formulas
model-checking
logic
logic-in-computer-science
python
univer
university-project
university
erasmus
This repository is not active
About
LTL model checker for lasso paths
ltl
ltl-formulas
model-checking
logic
logic-in-computer-science
python
univer
university-project
university
erasmus
Languages
Language:
Python
100.0%