GitHub repository: Echtzeitsysteme/tchecker
Primary language: C++
Description: TChecker is an open-source verification tool for timed automata