• Kronos

  • Referenced in 261 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • Tempo

  • Referenced in 5 articles [sw11778]
  • Tempo: a model-checker for event-recording automata...