transition-systems Examples and Free Source Code - EXAMPLE-A

Converting a system model into transition system for model checking...

fsm model-checking nusmv transition-systems

Ruby Graphviz - Labelled Transition System's Initial State?...

ruby rubygems graphviz transition-systems

How to model a transition system with SPIN...

model-checking spin transition-systems