• PNML

  • Referenced in 40 articles [sw03257]
  • PNML framework: An extendable reference implementation of the...
  • NuSMV

  • Referenced in 288 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • MCQueue

  • Referenced in 135 articles [sw05198]
  • MCQueue: educational software for Markov Chains and Queues...
  • SPOT

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

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

  • Referenced in 19 articles [sw18526]
  • The nuXmv Symbolic Model Checker. This paper describes...