Pubs / A paper on the Spear theorem prover

Spear

Bibtex:

@inproceedings{bh07spear,
    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.