#

ctl

Here are 2 public repositories matching this topic...

spidermoy / Model_Checking-LTL-CTLS

Computer Scientist Master Degree - Thesis Work

computer-science haskell ltl model-checking formal-methods ctl unam computer-science-degree ctl-formulas ctl-star ltl-formulas

Updated Sep 24, 2024
Haskell

spidermoy / OnTheFly_ModelChecking

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

computer-science haskell logic ltl model-checking formal-methods ctl formal-verification computational-logic linear-temporal-logic computation-tree-logic haskell-programming ctl-formulas

Updated Dec 21, 2019
Haskell

Improve this page

Add a description, image, and links to the ctl topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the ctl topic, visit your repo's landing page and select "manage topics."