GitHub repository: sillydan1/AALTITOAD
Primary language: C++
Description: Extendable verification engine and simulator for Tick Tock Automata constructs