Lissom，一个源代码级验证的代码平台
Lissom, a Source Level Proof Carrying Code Platform
摘要：
本文介绍了一种称为Lissom的证明携带码（PCC）架构的建议。作为最后一年计算学生的挑战开始，Lissom被认为是向怀疑论者社区，特别是学生证明形式化验证工具可以在现实环境中付诸实践，并用于解决复杂和具体问题的一种手段。PCC解决的问题的吸引力已经使学生对这个项目表现出兴趣。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
