Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/8107

TitleA comparative study of verification condition generators
Author(s)Fialho, Diogo
Pinto, Jorge Sousa
KeywordsVerification conditions
Program verification
Issue date2008
PublisherInstituto Politécnico de Bragança
CitationCOMPILERS, 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].
Abstract(s)We propose an empirical comparison of two VCGen algorithms for imperative languages
TypeOther
URIhttp://hdl.handle.net/1822/8107
Peer-Reviewedyes
AccessOpen access
Appears in Collections:DI/CCTC - Artigos (papers)

Files in This Item:
File Description SizeFormat 
main.pdfMain article122,68 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID