search

sillydan1 / aaltitoad

Extendable verification engine and simulator for Tick Tock Automata constructs
GNU General Public License v3.0
6 stars 1 forks source link

TTA Parser #1

Closed sillydan1 closed 4 years ago

sillydan1 commented 4 years ago

A parser for the Tick Tock Automata modelling language