Results 1 to 6 of 6
Sort by:

  • 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...