Definitions from Wikipedia (Proof-carrying code)

▸ noun:  a software mechanism that allows a host system to verify properties about an application via a formal proof that accompanies the application's executable code.


▸ Words similar to proof-carrying code
▸ Usage examples for proof-carrying code

▸ Idioms related to proof-carrying code
▸ Wikipedia articles (New!)
▸ Words that often appear near proof-carrying code
▸ Rhymes of proof-carrying code

▸ Invented words related to proof-carrying code