#

transition-systems

Here are 12 public repositories matching this topic...

LearnLib / automatalib

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

java automata graph java-library transition-systems

Updated Nov 28, 2023
Java

SRI-CSL / sally

A model checker for infinite-state systems.

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

Updated Aug 27, 2021
C++

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

WatForm / aldb

A debugger for transition systems modelled in Alloy

debugger cli modeling alloy transition-systems alloytools alloy-analyzer

Updated Jun 23, 2021
Java

paultristanwagner / model-checking

Practice environment implementing a model checker for LTL, CTL and CTL* formulas

ltl model-checking ctl hacktoberfest transition-systems ctl-star buchi-automaton omega-regular-languages

Updated Oct 12, 2023
Java

JSLTransitionLib

Jason-Stan-Lee / JSLTransitionLib

Help you to hold custom view transitions EASYLY !

transition transition-systems

Updated Apr 23, 2020
Swift

nightly / lts

Templated Labelled Transition System class

cpp transition-systems

Updated Aug 21, 2023
C++

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

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#

przemo8155 / magisterka

Graphics Petri Nets and APT GUI

analysis animations synthesis petrinet petri-nets transition-systems chernikova

Updated Sep 10, 2018
Java

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++

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 decomposition-algorithm

Updated May 15, 2023
C++

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