Lissom, a Source Level Proof Carrying Code Platform

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
Poster presented at the International Workshop on Proof-Carrying Code (PCC 06), 2006

Keywords

Logic in Computer Science, Software Engineering

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/212167

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0803.2317
 http://arxiv.org/abs/0803.2317

Collections

arXiv