Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/14929
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Coelho, Márcio | - |
dc.contributor.author | Cruz, Daniela da | - |
dc.contributor.author | Henriques, Pedro Rangel | - |
dc.contributor.author | Pinto, Jorge Sousa | - |
dc.date.accessioned | 2011-12-07T14:38:43Z | - |
dc.date.available | 2011-12-07T14:38:43Z | - |
dc.date.issued | 2011 | - |
dc.identifier.uri | https://hdl.handle.net/1822/14929 | - |
dc.description.abstract | Design-by-Contract is an approach that allows a program- mer to specify the expected behavior of a component by means of pre- conditions, postconditions and invariants. These annotations (or logical assertions that complement the code) can be seen as a form of enriched software documentation and they can be used to verify that a program is correct with respect to its contracts. Boogie is an intermediate verification language that is being used by more and more software verification tools as a target language. Actually, sev- eral annotation languages are nowadays translated to Boogie language. Despite of its efficiency and popularity, Boogie, that is also a program verifier, does not contain visual information for the user. So, understand- ing how it works is a difficult task. In this paper, we will discuss a visual tool that we developed to help in comprehending Boogie programs. | por |
dc.description.sponsorship | Fundação para a Ciência e a Tecnologia (FCT) | por |
dc.language.iso | eng | por |
dc.rights | openAccess | por |
dc.subject | Program verification | por |
dc.subject | Verification condition generators | por |
dc.subject | Design-by-contract | por |
dc.subject | Boogie | por |
dc.subject | Software visualization | por |
dc.title | A visual inspector for Boogie programs | por |
dc.type | conferencePaper | - |
dc.peerreviewed | yes | por |
sdum.publicationstatus | published | por |
oaire.citationTitle | Proceedings of Inforum'11 | por |
sdum.conferencePublication | Proceedings of Inforum'11 | - |
Aparece nas coleções: | DI/CCTC - Artigos (papers) |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
INFORUM-11-b.pdf | Documento principal | 226,64 kB | Adobe PDF | Ver/Abrir |