Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/8107| Título: | A comparative study of verification condition generators |
| Autor(es): | Fialho, Diogo Pinto, Jorge Sousa |
| Palavras-chave: | Verification conditions Program verification |
| Data: | 2008 |
| Editora: | Instituto Politécnico de Bragança |
| Citação: | COMPILERS, RELATED TECHNOLOGIES AND APPLICATIONS, Bragança, Portugal, 2008 – “Proceedings of Compilers, Related Technologies and and Applications (CoRTA2008)”. [Bragança : Instituto Politécnico de Bragança, 2008]. |
| Resumo(s): | We propose an empirical comparison of two VCGen algorithms for imperative languages |
| Tipo: | Outro |
| URI: | https://hdl.handle.net/1822/8107 |
| Arbitragem científica: | yes |
| Acesso: | Acesso aberto |
| Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| main.pdf | Main article | 122,68 kB | Adobe PDF | Ver/Abrir |
