SPEAR Theorem Prover
Frank Hutter · 2007
SPEAR is a bit-vector arithmetic theorem prover designed for proving software verification conditions. The core of the theore m prover is a fast and simple SAT solver, which is described in this paper.
Frank Hutter · 2007
SPEAR is a bit-vector arithmetic theorem prover designed for proving software verification conditions. The core of the theore m prover is a fast and simple SAT solver, which is described in this paper.