Towards a mostly-automated prover for bit-vector arithmetic

dc.contributor.author	Abal,I	en
dc.contributor.author	Jorge Sousa Pinto	en
dc.date.accessioned	2017-12-28T10:24:13Z
dc.date.available	2017-12-28T10:24:13Z
dc.date.issued	2013	en
dc.description.abstract	We present work in progress on the development of EasyBV, a specialized theorem prover for fixed-size bit-vector arithmetic. © 2013 Authors.	en
dc.identifier.uri	http://repositorio.inesctec.pt/handle/123456789/5021
dc.identifier.uri	http://dx.doi.org/10.1145/2494444.2494445	en
dc.language	eng	en
dc.relation	5595	en
dc.rights	info:eu-repo/semantics/openAccess	en
dc.title	Towards a mostly-automated prover for bit-vector arithmetic	en
dc.type	conferenceObject	en
dc.type	Publication	en

Now showing 1 - 1 of 1