[cap-talk] is defensive correctness a plausible null hypothesis?

[Viswanathan, Kapaleeswaran (HP Labs India)]

http://www.info.ucl.ac.be/~pvr/oze.pdf
http://www.erights.org/talks/promises/paper/tgc05.pdf 

The two paper OZE.pdf and TGC05.pdf appear to describe defensive consistency differently. TGC05 talks about defensive consistency in terms of service guarantees: server provides well-behaved clients with either no service or correct service but never provides a wrong service. OZE talks in terms of well-formed inputs. I am not sure if both are equivalent or not. 

Are you talking about a mathematicians (human verifiable) proof or a machine verifiable proof of defensive consistency? I do not believe that the concept may be ameneable to machine verifiable proof.