spidermoy

spidermoy

👤 Developer

2 repositories on SrcLog

View on GitHub
2 Repos
6 Stars
0 Forks
6 Watchers

Repositories (2)

OnTheFly_ModelChecking spidermoy/OnTheFly_ModelChecking Haskell

Efficient On-the-Fly Model Checking for LTL and CTL★.

4
Model_Checking-LTL-CTLS spidermoy/Model_Checking-LTL-CTLS Haskell

Computer Scientist Master Degree - Thesis Work

2