Results 1 to 20 of 80
Sort by:

  • 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...