• FOCI

  • Referenced in 61 articles [sw12868]
  • FOCI: and interpolating prover. FOCI is a decision procedure for quantifier-free first-order formulas ... importantly, it can compute quantifier-free Craig interpolants for inconsistent pairs (or more generally, sequences...
  • MathSAT

  • Referenced in 61 articles [sw09449]
  • computation of unsatisfiable cores and Craig interpolants (for abstraction refinement...
  • SMTInterpol

  • Referenced in 22 articles [sw07406]
  • Solver that can compute Craig interpolants for various theories. The solver is developed...
  • Wolverine

  • Referenced in 13 articles [sw14483]
  • Wolverine: battling bugs with interpolants. Wolverine is a software verifier that checks safety properties ... ANSI-C and C++ programs, deploying Craig interpolation to derive program invariants. We describe...
  • SLAB

  • Referenced in 8 articles [sw09875]
  • that interleaves automatic abstraction refinement using Craig interpolation with slicing, which removes irrelevant states...
  • eVolCheck

  • Referenced in 6 articles [sw09711]
  • program functions, function summaries, derived using Craig interpolation. In each check, the function summaries...
  • Ultimate Kojak

  • Referenced in 4 articles [sw23308]
  • based on CEGAR and Craig interpolation. The basic algorithm, described in an earlier work...
  • PdTRAV

  • Referenced in 0 articles [sw41830]
  • most powerful engines are based on Craig interpolation, on BDDs, on IC3. We also have...
  • ANSYS

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

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

  • Referenced in 394 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • Matlab

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

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

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

  • Referenced in 636 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 194 articles [sw00875]
  • SLEPc the Scalable Library for Eigenvalue Problem Computations...
  • ZEAL

  • Referenced in 16 articles [sw01033]
  • ZEAL is a general purpose package for computing...