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

TitleLissom, a source level proof carrying code platform
Author(s)Gomes, João
Martins, Daniel
Sousa, Simão Melo de
Pinto, Jorge Sousa
KeywordsProgram verification
Proof-carrying code
Security properties
Issue date2006
CitationPoster apresentado no " International Workshop on Proof Carrying Code Platfform, (PCC2006), Seattle, 2006.
Abstract(s)This 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.
AccessOpen access
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