Towards a mostly-automated prover for bit-vector arithmetic

doi:10.1145/2494444.2494445

Utilize este identificador para referenciar este registo: https://hdl.handle.net/1822/26412

Registo completo

Campo DC	Valor	Idioma
dc.contributor.author	Abal, Iago	-
dc.contributor.author	Pinto, Jorge Sousa	-
dc.date.accessioned	2013-11-28T12:27:13Z	-
dc.date.available	2013-11-28T12:27:13Z	-
dc.date.issued	2013	-
dc.identifier.citation	Iago Abal and Jorge Sousa Pinto. 2013. Towards a mostly-automated prover for bit-vector arithmetic. In Proceedings of the International C* Conference on Computer Science and Software Engineering (C3S2E '13). ACM, New York, NY, USA, 132-133.	por
dc.identifier.isbn	9781450319768	por
dc.identifier.uri	https://hdl.handle.net/1822/26412	-
dc.description.abstract	We present work in progress on the development of EasyBV, a specialized theorem prover for fixed-size bit-vector arith- metic.	por
dc.description.sponsorship	Fundação para a Ciência e a Tecnologia (FCT)	por
dc.language.iso	eng	por
dc.publisher	Association for Computing Machinery	por
dc.rights	restrictedAccess	por
dc.subject	Software/program verification	por
dc.subject	Deduction and theorem proving	por
dc.subject	Bit-vectors	por
dc.subject	SMT	por
dc.subject	Rewriting	por
dc.subject	theorem proving	por
dc.title	Towards a mostly-automated prover for bit-vector arithmetic	por
dc.type	conferencePaper	por
dc.peerreviewed	yes	por
dc.relation.publisherversion	The original publication is available at http://dl.acm.org	por
sdum.publicationstatus	published	por
oaire.citationStartPage	132	por
oaire.citationEndPage	133	por
oaire.citationConferencePlace	Porto, Portugal	por
oaire.citationTitle	International C* Conference on Computer Science and Software Engineering (C3S2E '13)	por
dc.identifier.doi	10.1145/2494444.2494445	por
sdum.conferencePublication	ACM International Conference Proceeding Series	por
Aparece nas coleções:	HASLab - Resumos em livros de atas