Proof-carrying code (Q2112919)
Jump to navigation
Jump to search
software mechanism that allows a host system to verify properties
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proof-carrying code |
software mechanism that allows a host system to verify properties |
Statements
Identifiers
Sitelinks
Wikipedia(3 entries)
- dewiki Proof-Carrying Code
- enwiki Proof-carrying code
- plwiki Proof-Carrying Code