- Citation:
- Abal I, Pinto JS.
2013. Towards a mostly-automated prover for bit-vector arithmetic. Proceedings of the International Conference on Computer Science and Software Engineering - WSEAS. :132–133.
Tertiary Title:
C3S2E '13
Date Presented:
September
Abstract:
We present work in progress on the development of EasyBV, a specialized theorem prover for fixed-size bit-vector arith- metic.
Website
Citation Key:
PintoJS:towmapbva