ctl

Here are 4 public repositories matching this topic...

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

haskell dsl logic evaluator ctl

Abstract Interpretation-based Static Analysis for (Conditional) Termination, Termination Resilience and CTL Properties

Analyzing Transition Systems (Finite State Machines) With NuSMV

state-machine ctl nusmv nusmv-model-checker

Templates Library for C language

c list stack queue templates generic clang ctl

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

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