spidermoy/OnTheFly_ModelChecking

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

Haskell