Abstract | ||
---|---|---|
We present work in progress on the development of EasyBV, a specialized theorem prover for fixed-size bit-vector arithmetic. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1145/2494444.2494445 | C3S2E |
Keywords | Field | DocType |
mostly-automated prover,present work,specialized theorem prover,fixed-size bit-vector arithmetic,rewriting,theorem proving | Work in process,Computer science,Automated theorem proving,Arithmetic,Rewriting,Gas meter prover,Bit array | Conference |
Citations | PageRank | References |
0 | 0.34 | 1 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Iago Abal | 1 | 0 | 0.68 |
Jorge Sousa Pinto | 2 | 160 | 23.19 |