Please use this identifier to cite or link to this item:

Full metadata record
DC FieldValueLanguage
dc.contributor.authorGomes, João-
dc.contributor.authorMartins, Daniel-
dc.contributor.authorSousa, Simão Melo de-
dc.contributor.authorPinto, Jorge Sousa-
dc.identifier.citationPoster apresentado no " International Workshop on Proof Carrying Code Platfform, (PCC2006), Seattle, 2006.eng
dc.description.abstractThis paper introduces a proposal for a Proof Carrying Code (PCC) architecture called Lissom. Started as a challenge for final year Computing students, Lissom was thought as a mean to prove to a sceptic community, and in particular to students, that formal verification tools can be put to practice in a realistic environment, and be used to solve complex and concrete problems. The attractiveness of the problems that PCC addresses has already brought students to show interest in this pro ject.eng
dc.subjectProgram verificationeng
dc.subjectProof-carrying codeeng
dc.subjectSecurity propertieseng
dc.titleLissom, a source level proof carrying code platformeng
Appears in Collections:DI/CCTC - Artigos (papers)

Files in This Item:
File Description SizeFormat 
paper.pdfArticle70,22 kBAdobe PDFView/Open
poster-pcc2006.pdfPoster250,83 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