Lissom, a Source Level Proof Carrying Code Platform
Logic in Computer Science
2008-12-18 v1 Software Engineering
Abstract
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 project.
Cite
@article{arxiv.0803.2317,
title = {Lissom, a Source Level Proof Carrying Code Platform},
author = {Joao Gomes and Daniel Martins and Simao Melo de Sousa and Jorge Sousa Pinto},
journal= {arXiv preprint arXiv:0803.2317},
year = {2008}
}
Comments
Poster presented at the International Workshop on Proof-Carrying Code (PCC 06), 2006