Lissom, a Source Level Proof Carrying Code Platform

Simple item page
dc.creatorGomes, Joao
dc.creatorMartins, Daniel
dc.creatorde Sousa, Simao Melo
dc.creatorPinto, Jorge Sousa
dc.date2008-03-15
dc.date.accessioned2026-07-07T12:17:43Z
dc.date.available2026-07-07T12:17:43Z
dc.descriptionThis 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 project.
dc.descriptionPoster presented at the International Workshop on Proof-Carrying Code (PCC 06), 2006
dc.identifierhttps://arxiv.org/abs/0803.2317
dc.identifierhttp://arxiv.org/abs/0803.2317
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/212167
dc.subjectLogic in Computer Science
dc.subjectSoftware Engineering
dc.titleLissom, a Source Level Proof Carrying Code Platform
dc.typetext

Files

Collections

arXiv