transition-systems
There are 1 repository under transition-systems topic.
LearnLib / automatalib
A free, open-source Java library for modeling automata, graphs, and transition systems
Language:Java 88- Language:C++ 69
- Language:Go 43
paultristanwagner / model-checking
Command line tool for model checking using LTL, CTL and CTL* formulas
Language:Java 8- Language:Java 6
- JSLTransitionLib
Jason-Stan-Lee / JSLTransitionLib
Help you to hold custom view transitions EASYLY !
Language:Swift 5 DerYeger / MiniCheck
MiniCheck is a CLI for CTL and bounded LTL model checking on transition systems.
Language:Haskell 2- Language:C++ 2
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++ 2joulook / 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++ 0FredericRP / 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#- Language:Haskell
przemo8155 / magisterka
Graphics Petri Nets and APT GUI
Language:Java
