GitHub topics: transition-systems
LearnLib/automatalib
A free, open-source Java library for modeling automata, graphs, and transition systems
Language: Java - Size: 42.5 MB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 94 - Forks: 33
SRI-CSL/sally
A model checker for infinite-state systems.
Language: C++ - Size: 5.61 MB - Last synced at: 2 days ago - Pushed at: 5 months ago - Stars: 75 - Forks: 13
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
Language: C# - Size: 428 KB - Last synced at: about 2 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0
paultristanwagner/model-checking
Command line tool for model checking using LTL, CTL and CTL* formulas
Language: Java - Size: 562 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 10 - Forks: 0
WatForm/aldb
A debugger for transition systems modelled in Alloy
Language: Java - Size: 35.3 MB - Last synced at: 9 days ago - Pushed at: 9 months ago - Stars: 6 - Forks: 1
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.
Language: C++ - Size: 11.7 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
habeanf/yap
Yet Another (natural language) Parser
Language: Go - Size: 47.4 MB - Last synced at: 11 months ago - Pushed at: about 6 years ago - Stars: 43 - Forks: 30
DerYeger/MiniCheck
MiniCheck is a CLI for CTL and bounded LTL model checking on transition systems.
Language: Haskell - Size: 531 KB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
nightly/lts
Templated Labelled Transition System class
Language: C++ - Size: 48.8 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
herulume/LTS 📦
Modelling and analysis of real-time systems
Language: Haskell - Size: 1.57 MB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0
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.
Language: C++ - Size: 1.18 MB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
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.
Language: C# - Size: 967 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
timKraeuter/CategoryOfTransitionSystems
Implements the category of transition systems including calculating a pullback for this category.
Language: Java - Size: 864 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0
Jason-Stan-Lee/JSLTransitionLib
Help you to hold custom view transitions EASYLY !
Language: Swift - Size: 191 KB - Last synced at: about 1 year ago - Pushed at: about 5 years ago - Stars: 5 - Forks: 1
przemo8155/magisterka
Graphics Petri Nets and APT GUI
Language: Java - Size: 36 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
