• SPIN

  • Referenced in 723 articles [sw03455]
  • Spin is a popular open-source software tool...
  • PVS

  • Referenced in 629 articles [sw03484]
  • PVS is a verification system: that is, a...
  • Haskell

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

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

  • Referenced in 395 articles [sw04143]
  • The TPTP (Thousands of Problems for Theorem Provers...
  • Mosek

  • Referenced in 493 articles [sw04618]
  • MOSEK is a tool for solving mathematical optimization...
  • Uppaal

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

  • Referenced in 1185 articles [sw04879]
  • LIBSVM is a library for Support Vector Machines...
  • z3

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

  • Referenced in 2809 articles [sw04968]
  • NIST digital library of mathematical functions. The National...
  • LBFGS-B

  • Referenced in 414 articles [sw05142]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • MIRACL

  • Referenced in 30 articles [sw06009]
  • MIRACL (Multiprecision Integer and Rational Arithmetic C/C++ Library...
  • ChaCha

  • Referenced in 31 articles [sw07098]
  • ChaCha, a variant of Salsa20. ChaCha8 is a...
  • eBASH

  • Referenced in 21 articles [sw07103]
  • eBACS: ECRYPT benchmarking of cryptographic systems...
  • Triangle

  • Referenced in 364 articles [sw07890]
  • Triangle: A Two-Dimensional Quality Mesh Generator and...
  • Diehard

  • Referenced in 80 articles [sw08098]
  • The diehard tests are a battery of statistical...
  • PRESENT

  • Referenced in 179 articles [sw08313]
  • PRESENT is a new ultra lightweight block cipher...
  • Chord

  • Referenced in 212 articles [sw09434]
  • Chord: A scalable peer-to-peer lookup service...