• MBnumerics

  • Referenced in 5 articles [sw31434]
  • MBnumerics: Numerical integration of massive two-loop Mellin-Barnes integrals in Minkowskian regions. Mellin-Barnes ... emerging in particle physics perturbative calculations are summarized. New versions of AMBRE packages which construct...
  • FunFrog

  • Referenced in 6 articles [sw06571]
  • FunFrog, a tool that implements a function summarization approach for software bounded model checking ... tool incorporates a counter-example-guided refinement loop. Experimental evaluation demonstrates competitiveness of FunFrog with...
  • H-COUP

  • Referenced in 2 articles [sw40157]
  • Higgs boson vertices are evaluated at one-loop level in a gauge invariant manner ... discussing their theoretical and experimental constraints, we summarize formulae for the renormalized vertices...
  • Dafny

  • Referenced in 73 articles [sw00183]
  • Dafny is an imperative object-based language with...
  • MapReduce

  • Referenced in 263 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Matlab

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

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

  • Referenced in 90 articles [sw01283]
  • Graphviz is open source graph visualization software. Graph...
  • SLAM

  • Referenced in 153 articles [sw03136]
  • SLAM is a project for checking that software...
  • SPIN

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

  • Referenced in 320 articles [sw04419]
  • The convex hull of a point set P...
  • z3

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

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

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

  • Referenced in 56 articles [sw07719]
  • DISCOVERER: a tool for solving semi-algebraic systems...
  • BNDSCO

  • Referenced in 50 articles [sw07779]
  • BNDSCO–A program for the numerical solution of...
  • Glucose

  • Referenced in 47 articles [sw07833]
  • The Glucose SAT Solver. Glucose is based on...
  • SPEED

  • Referenced in 32 articles [sw08653]
  • SPEED: spectral elements in elastodynamics with discontinuous Galerkin...
  • Bebop

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

  • Referenced in 86 articles [sw09719]
  • CBMC is a Bounded Model Checker for ANSI...