See Also
- Typed assembly language
- Program derivation
- Formal verification
Read more about this topic: Proof-carrying Code
Famous quotes containing the word see:
“Then turning to the disciples, Jesus said to them privately, “Blessed are the eyes that see what you see! For I tell you that many prophets and kings desired to see what you see, but did not see it, and to hear what you hear, but did not hear it.””
—Bible: New Testament, Luke 10:23,24.