• SPIN

  • Referenced in 723 articles [sw03455]
  • Spin is a popular open-source software tool...
  • JFLAP

  • Referenced in 13 articles [sw10334]
  • JFLAP is software for experimenting with formal languages...
  • LTL2BA

  • Referenced in 100 articles [sw10956]
  • Fast LTL to Büchi automata translation. We present...
  • GOAL

  • Referenced in 7 articles [sw21229]
  • GOAL is a graphical interactive tool for defining...