#

transition-systems

Here are 13 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 Aug 26, 2024
Java

WatForm / aldb

A debugger for transition systems modelled in Alloy

debugger cli modeling alloy transition-systems alloytools alloy-analyzer

Updated Aug 20, 2024
Java

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

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

nightly / lts

Templated Labelled Transition System class

cpp transition-systems

Updated Aug 21, 2023
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

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#

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

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

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

JSLTransitionLib

Jason-Stan-Lee / JSLTransitionLib

Help you to hold custom view transitions EASYLY !

transition transition-systems

Updated Apr 23, 2020
Swift

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

przemo8155 / magisterka

Graphics Petri Nets and APT GUI

analysis animations synthesis petrinet petri-nets transition-systems chernikova

Updated Sep 10, 2018
Java

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