#

labelled-transition-system

Here are 2 public repositories matching this topic...

MERCorg / merc

The merc model checking toolset and libraries.

model-checker rewriter parity-games labelled-transition-system

Updated May 6, 2026
Rust

minghongx / hennessy-milner-logic

logic labelled-transition-system equivalence-checking

Updated Mar 29, 2026
Haskell

Improve this page

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