Pubs / A paper on the Spear theorem prover


[PDF] [PS] [PS.BZ2] [VIEW]

    author = {Domagoj Babi\'c and Frank Hutter},
    title = {Spear},
    booktitle = {SAT'07: Proceedings of the SAT 2007 competition},
    year = {2007},

Abstract: SPEAR is a modular arithmetic theorem prover designed for proving software verification conditions. The core of the theorem prover is a fast and simple SAT solver, which is described in this paper.

Page last modified on June 02, 2011, at 11:11 AM