Towards a mostly-automated prover for bit-vector arithmetic

We present work in progress on the development of EasyBV, a specialized theorem prover for fixed-size bit-vector arith- metic.

Bibliographic Details
Main Author: Abal, Iago (author)
Other Authors: Pinto, Jorge Sousa (author)
Format: conferencePaper
Language:eng
Published: 2013
Subjects:
Software/program verification
Deduction and theorem proving
Bit-vectors
SMT
Rewriting
theorem proving
Online Access:http://hdl.handle.net/1822/26412
Country:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/26412

Internet

http://hdl.handle.net/1822/26412

Similar Items