• GOAL

  • Referenced in 7 articles [sw21229]
  • also partially supports other variants of omega-automata. The GOAL tool can be used ... originally derived from “Graphical Tool for Omega-Automata and Logics”. It also stands for “Games ... Omega-Automata, and Logics”, as we gradually add support for omega-regular games. Our long ... handle all the common variants of omega-automata and the logics that are expressively equivalent...
  • SPIN

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

  • Referenced in 25 articles [sw09473]
  • SPOT: an extensible model checking library using transition...
  • BEEM

  • Referenced in 30 articles [sw09815]
  • BEEM: Benchmarks for Explicit Model Checker. We present...
  • LTL2BA

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

  • Referenced in 1 article [sw37532]
  • LTL to self-loop alternating automata with generic...