Towards a mostly-automated prover for bit-vector arithmetic

Citation:
Abal I, Pinto JS.  2013.  Towards a mostly-automated prover for bit-vector arithmetic. Proceedings of the International Conference on Computer Science and Software Engineering - WSEAS. :132–133.

Tertiary Title:

C3S2E '13

Date Presented:

September

Abstract:

We present work in progress on the development of EasyBV, a specialized theorem prover for fixed-size bit-vector arith- metic.

Website

Citation Key:

PintoJS:towmapbva

DOI:

10.1145/2494444.2494445

PreviewAttachmentSize
2013_c3c2e13.pdf176.06 KB