
FOCI
 Referenced in 61 articles
[sw12868]
 FOCI: and interpolating prover. FOCI is a decision procedure for quantifierfree firstorder formulas ... importantly, it can compute quantifierfree 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 ... ANSIC 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 highlevel language and interactive...

MiniSat
 Referenced in 565 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

PARDISO
 Referenced in 286 articles
[sw00679]
 The package PARDISO is a threadsafe, 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 highperformance 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...