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