#

omega-regular-languages

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

bait

phreppo / bait

A ω-regular language inclusion checker

abstract-interpretation language-inclusion omega-regular-languages buchi-automata

Updated Sep 7, 2023
Java

Improve this page

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