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