A comparative study of verification condition generators

• Autor(es): Fialho, Diogo ; Pinto, Jorge Sousa
• Data: 2008
• Identificador Persistente: http://hdl.handle.net/1822/8107
• Origem: RepositóriUM - Universidade do Minho
• Assunto(s): Verification conditions; Program verification
• Tipo de Documento: Outro
• Idioma: Inglês

Descrição

We propose an empirical comparison of two VCGen algorithms for imperative languages