• SPIN

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

  • Referenced in 2 articles [sw10084]
  • Jahuel: A Formal Framework for Software Synthesis. We...
  • Metropolis

  • Referenced in 17 articles [sw16265]
  • Metropolis: an integrated electronic system design environment. oday...