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.