There's some academic work in this area under the name of "proof-carrying code": http://en.m.wikipedia.org/wiki/Proof-carrying_code http://en.m.wikipedia.org/wi

There's some academic work in this area under the name of "proof-carrying code": http://en.m.wikipedia.org/wiki/Proof-carrying_code http://en.m.wikipedia.org/wiki/Proof-carrying_code