%0 Conference Paper
%B Proceedings of the International Conference on Computer Science and Software Engineering - WSEAS
%D 2013
%T Towards a mostly-automated prover for bit-vector arithmetic
%A Iago Abal
%A Jorge Sousa Pinto
%C Hubei, CHINA
%I ACM
%K bit-vectors
%K rewriting
%K SMT
%K theorem proving
%P 132–133
%R 10.1145/2494444.2494445
%S C3S2E '13
%U http://doi.acm.org/10.1145/2494444.2494445
%X <p>We present work in progress on the development of EasyBV, a specialized theorem prover for fixed-size bit-vector arith- metic.</p>
%8 September
%@ 978-1-4503-1976-8
%> https://haslab.uminho.pt/sites/default/files/jsp/files/2013_c3c2e13.pdf