• IMITATOR

  • Referenced in 27 articles [sw00439]
  • timed automata, augmented with integer variables and stopwatches. It implemented several algorithms including safety synthesis...
  • LARVA

  • Referenced in 6 articles [sw21408]
  • notations, including timed-automata enriched with stopwatches, Lustre, and a subset of duration calculus...
  • Romeo

  • Referenced in 26 articles [sw00812]
  • Romeo: A tool for analyzing time Petri nets...
  • TINA

  • Referenced in 44 articles [sw03280]
  • The tool TINA -- construction of abstract state spaces...
  • PHAVer

  • Referenced in 113 articles [sw04123]
  • In 1995, HyTech broke new ground as a...
  • HyTech

  • Referenced in 327 articles [sw04125]
  • HyTech is an automatic tool for the analysis...
  • Uppaal

  • Referenced in 635 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • Oris

  • Referenced in 2 articles [sw07669]
  • Oris: a tool for modeling, verification and evaluation...