Towards a mostly-automated prover for bit-vector arithmetic.

Iago Abal Jorge Sousa Pinto

Published in: C3S2E (2013)

Keyphrases

bit vector
bit vectors
semi automated
databases
theorem prover
theorem proving
floating point
automated analysis
context sensitive
fully automated
expert systems
semi automatic
fully automatic
computer aided
computer assisted
information technology
real time