#

transition-systems

Here are 14 public repositories matching this topic...

herulume / LTS

Modelling and analysis of real-time systems

haskell real-time university-project lts transition-systems uppaal timed-automata

Updated Jun 15, 2020
Haskell

przemo8155 / magisterka

Graphics Petri Nets and APT GUI

analysis animations synthesis petrinet petri-nets transition-systems chernikova

Updated Sep 10, 2018
Java

FredericRP / ScreenTransitions

Between scenes, to hide loading time or simply make a smooth transition, you have to show a transition screen. Those prefabs allow you to call the transition to be shown or hidden. Subscribe to its events (TransitionShown and TransitionHidden) to know when you can load something behind the players back.

unity3d transition transition-systems

Updated Oct 18, 2022
C#

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 Nov 15, 2024
Java

SAKryukov / generic-state-machine

Transition system and state machine generic classes can be instantiated with any enumeration types representing the sets of states and the input and output alphabets

csharp state-machine graph-algorithms dotnet graphs generics enumeration np-hard transitions finite-state-machine transducers transition-systems acceptors transition-matrix

Updated Feb 3, 2025
C#

DerYeger / MiniCheck

MiniCheck is a CLI for CTL and bounded LTL model checking on transition systems.

cli haskell model-checking transition-systems tu-wien haskell-application ctl-formulas ltl-formulas

Updated Jun 26, 2023
Haskell

nightly / lts

Templated Labelled Transition System class

cpp transition-systems

Updated Aug 21, 2023
C++

viktorteren / Seto

Seto is a library for the decomposition of Transition Systems into subsets of Petri nets, in particular State Machines and Free-choice Petri nets.

petri-nets transition-systems pn decomposition-algorithm acpn fcpn

Updated Apr 19, 2024
C++

joulook / Verification-of-Reactive-Systems-Spring-2021

In this repository you can find all of my projects for Verification of Reactive Systems Course when I was in 2nd semester of my master's at SUT.

distributed-systems actor-model concurrency ltl temporal-logic model-checking ctl formal-verification transition-systems nusmv mutual-exclusion rebeca missionary-cannibal

Updated Aug 9, 2022
C++

WatForm / aldb

A debugger for transition systems modelled in Alloy

debugger cli modeling alloy transition-systems alloytools alloy-analyzer

Updated Aug 20, 2024
Java

JSLTransitionLib

Jason-Stan-Lee / JSLTransitionLib

Help you to hold custom view transitions EASYLY !

transition transition-systems

Updated Apr 23, 2020
Swift

SRI-CSL / sally

SRI Sally: A model checker for infinite-state systems.

verification ic3 model-checker transition-systems k-induction bounded-model-checking

Updated Jul 31, 2025
C++

LearnLib / automatalib

A free, open-source Java library for automata, graphs, and transition systems

java automata graph java-library transition-systems

Updated Dec 15, 2025
Java

habeanf / yap

Yet Another (natural language) Parser

nlp go golang natural-language-processing disambiguation computational-linguistics dependency-parser nlp-dependency-parsing nlp-parsing hebrew transition-systems universal-dependencies morphological-analysis hebrew-analytical-lexicon morphological-disambiguator

Updated May 15, 2019
Go

Improve this page

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