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 |