• JKind

  • Referenced in 1 article [sw21029]
  • cooperating engines including k-induction, property directed reachability, and template-based invariant generation. Downloads: JKind...
  • Template-Coq

  • Referenced in 4 articles [sw27569]
  • certified meta-programming with typed Template-Coq. Template-Coq (url{https://template-coq.github.io/template-coq}) ... handle the entire Calculus of Inductive Constructions (CIC), as implemented by Coq, including the kernel ... declaration structures for definitions and inductives, and implement a monad for general manipulation ... translation. We also advocate the use of Template-Coq as a foundation for higher-level...
  • Coq

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

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6337 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13460 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MetiTarski

  • Referenced in 52 articles [sw00573]
  • Many inequalities involving the functions ln, exp, sin...
  • R

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

  • Referenced in 1970 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • STAPL

  • Referenced in 14 articles [sw00910]
  • The Standard Template Adaptive Parallel Library (STAPL) is...
  • PREVAIL

  • Referenced in 7 articles [sw02114]
  • PREVAIL: A proof environment for VHDL descriptions The...
  • LARCH

  • Referenced in 104 articles [sw02126]
  • The Larch family of languages supports a two...
  • SPARK

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

  • Referenced in 805 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • PVS

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

  • Referenced in 631 articles [sw03516]
  • deal.II is a C++ program library targeted at...
  • Haskell

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

  • Referenced in 1272 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • PETSc

  • Referenced in 1541 articles [sw04012]
  • The Portable, Extensible Toolkit for Scientific Computation (PETSc...
  • UCI-ml

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