Results 1 to 9 of 9
Sort by:

  • Coq
  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...

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

  • Haskell
  • Referenced in 879 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...

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

  • LEGO
  • Referenced in 107 articles [sw09685]
  • LEGO is an interactive proof development system (proof...

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