Please use this identifier to cite or link to this item:
Title: Towards a mostly-automated prover for bit-vector arithmetic
Authors: Abal,I
Jorge Sousa Pinto
Issue Date: 2013
Abstract: We present work in progress on the development of EasyBV, a specialized theorem prover for fixed-size bit-vector arithmetic. © 2013 Authors.
metadata.dc.type: conferenceObject
Appears in Collections:HASLab - Other Publications

Files in This Item:
File Description SizeFormat 
P-008-D57.pdf176.06 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.