spidermoy / OnTheFly_ModelChecking

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

Geek Repo

Github PK Tool