• TSPLIB

  • Referenced in 678 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • MACSYMA

  • Referenced in 716 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • Kronos

  • Referenced in 273 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • DSSZ-MC

  • Referenced in 6 articles [sw01360]
  • DSSZ-MC -- a tool for symbolic analysis of...
  • TIMES

  • Referenced in 25 articles [sw01403]
  • TIMES -- a tool for modelling and implementation of...
  • veriSoft

  • Referenced in 91 articles [sw01489]
  • VeriSoft automatically searches for coordination problems (deadlocks, etc...
  • AlPiNA

  • Referenced in 4 articles [sw02069]
  • AlPiNA stands for Algebraic Petri Nets Analyzer and...
  • MINITAB

  • Referenced in 201 articles [sw02865]
  • Analyze your data and improve your products and...
  • SHARPE

  • Referenced in 42 articles [sw03100]
  • SHARPE, (Symbolic Hierarchical Automated Reliability and Performance Evaluator...
  • ATERM

  • Referenced in 43 articles [sw03160]
  • GC 2: a generational conservative garbage collector for...
  • DASSL

  • Referenced in 259 articles [sw03174]
  • Subroutine DDASSL uses the backward differentiation formulas of...
  • SPIN

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

  • Referenced in 1216 articles [sw04002]
  • SeDuMi is a Matlab toolbox for solving optimization...
  • Gurobi

  • Referenced in 577 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • RODAS

  • Referenced in 1623 articles [sw04112]
  • Rosenbrock method of order 4(3), for problems...
  • DiVinE

  • Referenced in 55 articles [sw04130]
  • DIVINE is a tool for LTL model checking...
  • NuSMV

  • Referenced in 299 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • LINPACK

  • Referenced in 516 articles [sw04209]
  • LINPACK is a collection of Fortran subroutines that...
  • ABAQUS

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

  • Referenced in 46 articles [sw04266]
  • SIMPACK is a general purpose Multi-Body Simulation...