• SAS/STAT

  • Referenced in 391 articles [sw18788]
  • SAS/STAT software, a component of the SAS System, provides comprehensive statistical tools for a wide...
  • DOLFIN

  • Referenced in 152 articles [sw04313]
  • functionality of other FEniCS components and external software, and handles the communication between these components...
  • PPL

  • Referenced in 91 articles [sw05357]
  • analysis and verification of hardware and software components. Current applications span imperative, functional and logic ... several critical tasks rely on their software implementations. Despite this, existing libraries for the manipulation...
  • TetGen

  • Referenced in 83 articles [sw04046]
  • related areas. It describes the key software components of TetGen, including an efficient tetrahedral mesh ... examples as well as comparisons with other softwares are presented...
  • Reo

  • Referenced in 81 articles [sw06353]
  • paradigm for composition of distributed software components and services based on the notion of mobile...
  • BLAST

  • Referenced in 123 articles [sw02937]
  • Abstraction Software verification Tool) is a static software verification tool for C language that solves ... BLAST and all the components it relies on are free software. The BLAST itself ... source:LICENSE); for information about the components see source:NOTICE file. The BLAST has been...
  • SWIG

  • Referenced in 43 articles [sw04607]
  • form a modular framework for controlling software components written in C, C++, and Fortran. However ... scripting languages at all stages of software development and allows existing software to be more...
  • MAGIC

  • Referenced in 37 articles [sw14159]
  • source code which verifies conformance of software components against state-machine specifications. To this...
  • Ynot

  • Referenced in 35 articles [sw12334]
  • used to build realistic, verified software components. To substantiate this claim, we describe here...
  • Bandera

  • Referenced in 134 articles [sw07663]
  • model-check properties of concurrent Java software. The Bandera Tool Set is an integrated collection ... program analysis, transformation, and visualization components designed to facilitate experimentation with model-checking Java source ... input Java source code and a software requirement formalized in Bandera’s temporal specification language ... program slicing and user extensible abstract interpretation components are applied to customize the program model...
  • Risa/Asir

  • Referenced in 103 articles [sw00806]
  • memory management component (the memory manager), a free software distributed by Boehm (gc-6.1alpha5...
  • Ipopt

  • Referenced in 589 articles [sw04808]
  • OPTimizer, pronounced eye-pea-Opt) is a software package for large-scale ​nonlinear optimization ... above formulation by setting the corresponding components...
  • TNT

  • Referenced in 25 articles [sw05665]
  • this package is to provide reusable software components that address many of the portability...
  • MatrixMarket

  • Referenced in 151 articles [sw04020]
  • describing its properties. Generators are either static software which you can download and include ... component of the NIST project on Tools for Evaluation of Mathematical and Statistical Software which...
  • JStatCom

  • Referenced in 80 articles [sw04873]
  • JStatCom is a software framework that makes it easy to integrate numerical procedures written ... features that seamlessy interact with Java Swing components...
  • PICCOLA

  • Referenced in 17 articles [sw06408]
  • languages are well-suited to implement software components, they fail to shine in the construction...
  • Gudhi

  • Referenced in 14 articles [sw08777]
  • homology packages in Gudhi provide all software components for this approach. Specifically, simplicial complexes ... pass. We present the different components of the software, their interaction and the user interface...
  • veriSoft

  • Referenced in 91 articles [sw01489]
  • deadlocks, etc.) and assertion violations in a software system by generating, controlling, and observing ... possible executions and interactions of all its components. It integrates automatic test generation, execution...
  • Proof General Kit

  • Referenced in 11 articles [sw09684]
  • Proof General Kit, a framework for software components tailored to interactive proof development. The goal...
  • pdelib

  • Referenced in 11 articles [sw04042]
  • pdelib2 is a collection of software components which are useful to create simulators based...