Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/5021
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.
URI: http://repositorio.inesctec.pt/handle/123456789/5021
http://dx.doi.org/10.1145/2494444.2494445
metadata.dc.type: conferenceObject
Publication
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.