CTO CLiki for the TUNES project

Home About CLiki Text Formatting

Proof-Carrying Code

The term for a type of program or module that carries a verifiable specification of its behavior as it is migrated between contexts.

• Research in the area.
• An overview.

---

This page is linked from: Andrew Appel