Lissom, a Source Level Proof Carrying Code Platform

Details Lissom, a Source Level Proof Carrying Code Platform Lissom, a Source Level Proof Carrying Code Platform

2008-03-15

arxiv.org/abs/0803.2317v1

Computer Science

Logic in Computer Science

Poster presented at the International Workshop on Proof-Carrying Code (PCC 06), 2006

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Lissom, a Source Level Proof Carrying Code Platform does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Lissom, a Source Level Proof Carrying Code Platform, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Lissom, a Source Level Proof Carrying Code Platform will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-438823