• Visual C#

  • Referenced in 25 articles [sw03520]
  • Microsoft Visual C# is Microsoft’s implementation of...
  • Haskell

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

  • Referenced in 289 articles [sw03522]
  • Eiffel is an ISO-standardized, object-oriented programming...
  • Daikon

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

  • Referenced in 189 articles [sw04597]
  • The Java Modeling Language (JML) is a behavioral...
  • Spec#

  • Referenced in 123 articles [sw04598]
  • The Spec# programming system is a new attempt...
  • Uppaal

  • Referenced in 653 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • z3

  • Referenced in 597 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • Maude

  • Referenced in 698 articles [sw06233]
  • Maude is a high-performance reflective language and...
  • ESC/Java

  • Referenced in 137 articles [sw07217]
  • The Extended Static Checker for Java version 2...
  • Korat

  • Referenced in 33 articles [sw07259]
  • Korat: Automated testing based on Java predicates. This...
  • DART

  • Referenced in 74 articles [sw07260]
  • DART: directed automated random testing. We present a...
  • JUnit

  • Referenced in 33 articles [sw07262]
  • A simple and practical approach to unit testing...
  • QuickCheck

  • Referenced in 102 articles [sw07277]
  • QuickCheck: a lightweight tool for random testing of...
  • VeriFast

  • Referenced in 64 articles [sw07705]
  • The VeriFast program verifier. This note describes a...
  • Mercury

  • Referenced in 69 articles [sw08333]
  • Mercury is a logic/functional programming language which combines...
  • Cyclone

  • Referenced in 28 articles [sw09693]
  • Compiling for template-based run-time code generation...
  • iJulienne

  • Referenced in 6 articles [sw09903]
  • Slicing-based trace analysis of rewriting logic specifications...
  • JPAX

  • Referenced in 30 articles [sw09906]
  • An overview of the runtime verification tool Java...