Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/26412| Título: | Towards a mostly-automated prover for bit-vector arithmetic |
| Autor(es): | Abal, Iago Pinto, Jorge Sousa |
| Palavras-chave: | Software/program verification Deduction and theorem proving Bit-vectors SMT Rewriting theorem proving |
| Data: | 2013 |
| Editora: | Association for Computing Machinery |
| Citação: | Iago Abal and Jorge Sousa Pinto. 2013. Towards a mostly-automated prover for bit-vector arithmetic. In Proceedings of the International C* Conference on Computer Science and Software Engineering (C3S2E '13). ACM, New York, NY, USA, 132-133. |
| Resumo(s): | We present work in progress on the development of EasyBV, a specialized theorem prover for fixed-size bit-vector arith- metic. |
| Tipo: | Artigo em ata de conferência |
| URI: | https://hdl.handle.net/1822/26412 |
| ISBN: | 9781450319768 |
| DOI: | 10.1145/2494444.2494445 |
| Versão da editora: | The original publication is available at http://dl.acm.org |
| Arbitragem científica: | yes |
| Acesso: | Acesso restrito UMinho |
| Aparece nas coleções: |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| C3C2e13.pdf Acesso restrito! | Documento principal | 176,06 kB | Adobe PDF | Ver/Abrir |
