https://verifit.webnode.cz/
Verifit
VeriFIT je skupinou výzkumníků a studentů z FIT VUT, kteří se zaměřují na výzkum v oblasti metod automatizované analýzy a verifikace systémů a souvisejících...
verifit
https://github.com/VeriFIT/kofola
GitHub - VeriFIT/kofola: Kofola: Modular Complementation and Inclusion Checking for Omega Automata...
Kofola: Modular Complementation and Inclusion Checking for Omega Automata - VeriFIT/kofola
for omegagithubverifitkofolamodular