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