Perhaps you're looking for "proof carrying code"? It's pretty neat stuff, although my only experience in it is drooling my way through a semester of verification and a colloq Some Guy gave at our campus.