• Boom

  • Referenced in 2 articles [sw01318]
  • Boom: Taking Boolean program model checking one step further We present Boom, a comprehensive analysis ... model-checking non-recursive concurrent programs. Boom implements a recent variant of counter abstraction, where ... unbounded thread creation. The concurrent version of Boom is implemented using BDDs and includes partial ... order reduction methods. Boom is intended for model checking system-level code via predicate abstraction...
  • XSearch

  • Referenced in 3 articles [sw01029]
  • increasing amount of components. This boom in the components amount was remarkably influenced...
  • Ab-origin

  • Referenced in 1 article [sw23148]
  • enhanced tools is always needed with the booming of immunological data. Results: Here, a program...
  • DropToolKit

  • Referenced in 1 article [sw38576]
  • many industrial applications. Here, considering the booming interest for small and cheap but precise experimental...
  • ANSYS

  • Referenced in 672 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • Coq

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

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

  • Referenced in 1512 articles [sw04215]
  • The Abaqus Unified FEA product suite offers powerful...
  • NASTRAN

  • Referenced in 177 articles [sw04245]
  • MSC Nastran is the world’s most widely...
  • DMC

  • Referenced in 38 articles [sw04844]
  • Nonlinear dynamics. A primer. ... book included a user...
  • SciPy

  • Referenced in 605 articles [sw06293]
  • SciPy (pronounced ”Sigh Pie”) is open-source software...
  • SPEA2

  • Referenced in 463 articles [sw06686]
  • SPEA2 - The Strength Pareto Evolutionary Algorithm 2: SPEA2...
  • SPGL1

  • Referenced in 182 articles [sw08365]
  • SPGL1: A solver for large-scale sparse reconstruction...
  • WorldToolKit

  • Referenced in 3 articles [sw10375]
  • WorldToolKit Release9 is a cross-platform software development...
  • FPC_AS

  • Referenced in 64 articles [sw12218]
  • FPC_AS (fixed-point continuation and active set...
  • Dynare

  • Referenced in 71 articles [sw12305]
  • Dynare is a software platform for handling a...
  • ADS

  • Referenced in 4 articles [sw13387]
  • A general-purpose optimization program for engineering design...
  • FUN3D

  • Referenced in 43 articles [sw13801]
  • The solver has been applied to a number...
  • USM3D

  • Referenced in 10 articles [sw18133]
  • USM3D. This code is the solver portion of...
  • SABCEMM

  • Referenced in 2 articles [sw28182]
  • Simulation of Stylized Facts in Agent-Based Computational...