• QEPCAD

  • Referenced in 283 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • ALGOL 68

  • Referenced in 291 articles [sw01226]
  • ALGOL 68 (short for ALGOrithmic Language 1968) is...
  • SPARK

  • Referenced in 48 articles [sw03124]
  • Using the SPARK toolset for showing the absence...
  • Daikon

  • Referenced in 44 articles [sw04319]
  • The Daikon system for dynamic detection of likely...
  • Mizar

  • Referenced in 505 articles [sw04704]
  • The Mizar System is the only implementation of...
  • Nuprl

  • Referenced in 394 articles [sw06751]
  • The Nuprl system is a framework for reasoning...
  • Twelf

  • Referenced in 171 articles [sw06888]
  • Twelf is a language used to specify, implement...
  • Z

  • Referenced in 282 articles [sw10291]
  • Using Z. Specification, refinement, and proof. The book...
  • Ynot

  • Referenced in 35 articles [sw12334]
  • Ynot, dependent types for imperative programs. We describe...
  • ALGOL 60

  • Referenced in 666 articles [sw21807]
  • ALGOL 60 (short for Algorithmic Language 1960) is...