#

ctl

Here are 2 public repositories matching this topic...

natimellino / SAT-Solver

A Haskell embedded DSL that parses and implements the SAT algorithm to CTL formulas. Final project for ALP subject.

haskell dsl logic evaluator ctl

Updated Dec 8, 2021
C

trong0dn / NuSMV-model-checker

Analyzing Transition Systems (Finite State Machines) With NuSMV

state-machine ctl nusmv nusmv-model-checker

Updated Apr 11, 2023
C

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."