Open AccessTowards a mostly-automated prover for bit-vector arithmetic
Author(s) -
Iago Abal,
Jorge Sousa Pinto
Publication year - 2013
Publication title -
portuguese national funding agency for science, research and technology (rcaap project by fct)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.1145/2494444.2494445
Subject(s) - arithmetic , automated theorem proving , gas meter prover , computer science , bit (key) , theoretical computer science , mathematics , algorithm , mathematical proof , geometry , computer security
We present work in progress on the development of EasyBV, a specialized theorem prover for fixed-size bit-vector arith- metic.Fundação para a Ciência e a Tecnologia (FCT
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom