computation-tree-logic

There are 3 repositories under computation-tree-logic topic.

utwente-fmt/ltsmin
The LTSmin model checking toolset
Language:C57 12 16930
lip6/ITS-CTL
CTL symbolic model-checker based on libDDD and libITS
Language:C7 1 03
spidermoy/OnTheFly_ModelChecking
Efficient On-the-Fly Model Checking for LTL and CTL★.
Language:Haskell5 1 00