• R

  • Referenced in 10196 articles [sw00771]
  • R is a language and environment for statistical...
  • WordNet

  • Referenced in 410 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • CUDA

  • Referenced in 1336 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • SPIN

  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool...
  • UCI-ml

  • Referenced in 3444 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • HyTech

  • Referenced in 333 articles [sw04125]
  • HyTech is an automatic tool for the analysis...
  • NuSMV

  • Referenced in 314 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • Uppaal

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

  • Referenced in 1103 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...
  • ARMC

  • Referenced in 28 articles [sw04949]
  • ARMC: The Logical Choice for Software Model Checking...
  • PPL

  • Referenced in 104 articles [sw05357]
  • Possibly not closed convex polyhedra and the Parma...
  • MONA

  • Referenced in 135 articles [sw06170]
  • MONA implementation secrets. The MONA tool provides an...
  • KEEL

  • Referenced in 156 articles [sw06791]
  • KEEL: a software tool to assess evolutionary algorithms...
  • JCLEC

  • Referenced in 16 articles [sw08869]
  • JCLEC: a Java framework for evolutionary computation. In...
  • Bebop

  • Referenced in 73 articles [sw08928]
  • Bebop: A Symbolic Model Checker for Boolean Programs...
  • Octagon

  • Referenced in 61 articles [sw13702]
  • The Octagon Abstract Domain Library is a free...
  • ASTREE

  • Referenced in 115 articles [sw13704]
  • The ASTREÉ Analyzer. ASTRÉE is an abstract interpretation...
  • Python

  • Referenced in 2164 articles [sw14460]
  • Python is a widely used high-level, general...
  • GitHub

  • Referenced in 2760 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...
  • Zapato

  • Referenced in 11 articles [sw25425]
  • zapato: Automatic theorem proving for predicate abstraction refinement...