Using term rewriting to solve Bit-Vector arithmetic problems (Poster Presentation)
Among many theories supported by SMT solvers, the theory of finite-precision bit-vector arithmetic is one of the most useful, for both hardware and software systems verification. This theory is also particularly useful for some specific domains such as cryptography, in which algorithms are naturally...
| Main Author: | |
|---|---|
| Other Authors: | , , |
| Format: | conferenceObject |
| Language: | eng |
| Published: |
2012
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1822/26358 |
| Country: | Portugal |
| Oai: | oai:repositorium.sdum.uminho.pt:1822/26358 |