Encontrados 2 documentos, a visualizar página 1 de 1
Using term rewriting to solve bit-vector arithmetic problems - (Poster Presenta...
Abal, Iago; Cunha, Alcino; Hurd, Joe; Pinto, Jorge SousaAmong 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 expressed in terms of bit-vectors. Cryptol is an example of a domain-specific language (DSL) and toolset for cryp...
Using term rewriting to solve Bit-Vector arithmetic problems (Poster Presentation)
Abal, Iago; Cunha, Alcino; Hurd, Joe; Pinto, Jorge SousaAmong 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 expressed in terms of bit-vectors. Cryptol is an example of a domain-specific language (DSL) and toolset for cryp...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||