• ODRPACK

  • Referenced in 21 articles [sw00649]
  • finite difference derivatives, and contains extensive error checking and report generating facilities...
  • Bandera

  • Referenced in 134 articles [sw07663]
  • Both program slicing and user extensible abstract interpretation components are applied to customize the program ... property being checked. When a model-checker produces an error trail, Bandera renders the error...
  • BOXMG

  • Referenced in 5 articles [sw04222]
  • parameters into two arrays, and adding extensive error checking. The third driver, DIVMG ... previously drivers, the DIVMG includes extensive error checking.par The authors present numerical examples from...
  • Pex

  • Referenced in 32 articles [sw07263]
  • symbolic execution, similar to path-bounded model-checking) to determine test inputs for Parameterized Unit ... already been extensively tested over several years. Pex found errors, including a serious issue...
  • CRSX

  • Referenced in 4 articles [sw23630]
  • systems with extensions. Combinatory Reduction Systems with Extensions (CRSX) is a system available from ... Unicode support. - Strict checking and declaration requirements to avoid idiosyncratic errors in rewrite rules. - Interpreter...
  • STANSE

  • Referenced in 2 articles [sw26812]
  • projects like the Linux kernel and 2) extensibility with new bug-finding techniques with ... finding algorithms implemented within STANSE: AutomatonChecker checks properties described in an automata-based formalism, ThreadChecker ... deadlocks among multiple threads, LockChecker finds locking errors based on statistics, and ReachabilityChecker looks...
  • Grade/CPN

  • Referenced in 1 article [sw09752]
  • models manually is a tedious and error-prone task. In this paper, we present Grade/CPN ... Tools. The tool is extensible, configurable, and can check static and dynamic properties. It automatically...
  • STLlint

  • Referenced in 3 articles [sw33541]
  • therefore cannot be used to detect errors in the use of libraries. In this paper ... show that static checking of library semantics differs greatly from checking of language semantics, requiring ... behavior and new algorithms. Major challenges include checking the use of generic algorithms, loop analysis ... interfaces, and organizing behavioral specifications for extensibility...
  • COMeT+

  • Referenced in 1 article [sw20557]
  • continuous online memory testing with multi-threading extension. oday’s computers have gigabytes of main ... become more susceptible to errors. With an increase in error susceptibility, the need for memory ... testing of memory health can proactively check for errors to improve resiliency. This paper describes ... Continuous Online Memory Testing with Multi-threading Extension (COMeT+), that targets chip multiprocessors. COMeT+ tests...
  • DynaMine

  • Referenced in 4 articles [sw33951]
  • DynaMine, a tool that analyzes source code check-ins to find highly correlated method calls ... application-specific patterns and for finding errors when applied to very large applications with many ... jEdit, two widely-used, mature, highly extensible applications consisting of more than...
  • xSPDE

  • Referenced in 0 articles [sw20633]
  • partial stochastic differential equations. The toolbox makes extensive use of vector and parallel methods. Inputs ... calculates functional means, correlations and spectra, checks for errors in both time-step and sampling...
  • SWATCH

  • Referenced in 1 article [sw13039]
  • knowledge acquisition from computer logs and its extension for adaptive agent size. Recently, a large ... files. System administrators have to check the messages in the log files in order ... with a lot of insignificant messages. Therefore, checking the log files is a troublesome task ... effective for detecting well-known typical error messages. However, various programs running in the systems...
  • Coq

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

  • Referenced in 2735 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Macaulay2

  • Referenced in 1585 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 2747 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

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

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

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

  • Referenced in 524 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...