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