#

ctl-star

Here are 2 public repositories matching this topic...

paultristanwagner / model-checking

Command line tool for model checking using LTL, CTL and CTL* formulas

ltl model-checking ctl transition-systems ctl-star buchi-automaton omega-regular-languages

Updated Feb 5, 2024
Java

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

Improve this page

Add a description, image, and links to the ctl-star 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-star topic, visit your repo's landing page and select "manage topics."