SRI Sally: A model checker for infinite-state systems.
-
Updated
Jul 31, 2025 - C++
#
transition-systems
Here are 14 public repositories matching this topic...
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++
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++
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#
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
Modelling and analysis of real-time systems
-
Updated
Jun 15, 2020 - Haskell
Transition grammar for reasoning systems — modeling state transitions as first-class objects, with Layer 0 control ensuring causal state updates before stability constraints apply.
decision-making alignment control-systems state-transitions stability transition-systems ai-safety interpretability systems-thinking llm reasoning-systems agent-architecture uncertainty-handling decision-fields
-
Updated
Apr 23, 2026 - Python
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."