[SystemSafety] Data on Proof effectiveness from real projects

[Derek M Jones]

Peter,

> One should also take into account that SHOLIS is a project executed a decade and a half ago, and the
> effective use of formal techniques has progressed since then, witness the information on IFACTS
> contained in the 2014 Chapman-Schanda survey paper.

Without any data you cannot claim that techniques have progressed,
not progressed or gone round in circles.  I guess you could claim that
things have changed.

-- 
Derek M. Jones           Software analysis
tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com