• ANSYS

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

  • Referenced in 279 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • Matlab

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

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

  • Referenced in 287 articles [sw00679]
  • The package PARDISO is a thread-safe, high...
  • PARI/GP

  • Referenced in 653 articles [sw00680]
  • PARI/GP is a widely used Computer Algebra System...
  • SETHEO

  • Referenced in 122 articles [sw00707]
  • SETHEO: A high-performance theorem prover. The paper...
  • SLEPc

  • Referenced in 196 articles [sw00875]
  • SLEPc the Scalable Library for Eigenvalue Problem Computations...
  • PRISM

  • Referenced in 442 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • HySAT

  • Referenced in 25 articles [sw01980]
  • HySAT: An efficient proof engine for bounded model...
  • CASL

  • Referenced in 174 articles [sw02235]
  • The specification language developed by CoFI is called...
  • PSATO

  • Referenced in 42 articles [sw02635]
  • PSATO: a Distributed/parallel Prover for propositional satisfiability (SAT...
  • BLAST

  • Referenced in 129 articles [sw02937]
  • BLAST (Berkeley Lazy Abstraction Software verification Tool) is...
  • KRAKATOA

  • Referenced in 89 articles [sw03159]
  • The KRAKATOA tool for certification of JAVA/JAVACARD programs...
  • PVS

  • Referenced in 633 articles [sw03484]
  • PVS is a verification system: that is, a...
  • MUMPS

  • Referenced in 540 articles [sw04013]
  • Solution of large linear systems with symmetric positive...
  • FEAST

  • Referenced in 92 articles [sw04025]
  • The FEAST solver package is a free high...
  • SMT-LIB

  • Referenced in 196 articles [sw04103]
  • SMT-LIB was created with the expectation that...