• TopSpin

  • Referenced in 12 articles [sw00972]
  • Automatic Symmetry Reduction for the SPIN Model Checker...
  • SPIN

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

  • Referenced in 21 articles [sw07517]
  • Symmetric Spin We give a detailed description of...
  • PROMELA

  • Referenced in 30 articles [sw07635]
  • Outline for an operational semantics of PROMELA. PROMELA...