proof-carrying code

From WikiWord, the free dictionary

English

Definitions

No definition found for “proof-carrying code”. Check the spelling, or try a related word.

Related words

Synonyms

code signing trademark source code control system proof of work formal methods binary-code compatibility secure copy protocol file verification runtime verification application virtualization reproducible builds smart contract program synthesis interactive proof system software system formal specification

References