Pubs / Spear theorem prover


Spear Theorem Prover

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

Bibtex:
@inproceedings{bh08spear,
    author = {Domagoj Babi\'c and Frank Hutter},
    title = {Spear Theorem Prover},
    booktitle = {SAT'08: Proceedings of the SAT 2008 Race},
    year = {2008},
}

Abstract: SPEAR is a bit-vector 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:08 AM