A free, open-source Java library for modeling automata, graphs, and transition systems
-
Updated
Dec 12, 2024 - Java
#
transition-systems
Here are 13 public repositories matching this topic...
A model checker for infinite-state systems.
-
Updated
Aug 27, 2021 - C++
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
Command line tool for model checking using LTL, CTL and CTL* formulas
-
Updated
Nov 15, 2024 - Java
A debugger for transition systems modelled in Alloy
-
Updated
Aug 20, 2024 - Java
Help you to hold custom view transitions EASYLY !
-
Updated
Apr 23, 2020 - Swift
MiniCheck is a CLI for CTL and bounded LTL model checking on transition systems.
-
Updated
Jun 26, 2023 - Haskell
Seto is a library for the decomposition of Transition Systems into subsets of Petri nets, in particular State Machines and Free-choice Petri nets.
-
Updated
Apr 19, 2024 - C++
Modelling and analysis of real-time systems
-
Updated
Jun 15, 2020 - Haskell
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.
-
Updated
Oct 18, 2022 - C#
Graphics Petri Nets and APT GUI
-
Updated
Sep 10, 2018 - Java
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++
Improve this page
Add a description, image, and links to the transition-systems topic page so that developers can more easily learn about it.
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."