Re: [SystemSafety] Data on Proof effectiveness from real projects

From: Derek M Jones < >
Date: Wed, 30 Mar 2016 10:47:40 +0100


> 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
The System Safety Mailing List
Received on Wed Mar 30 2016 - 11:47:19 CEST

This archive was generated by hypermail 2.3.0 : Tue Jun 04 2019 - 21:17:08 CEST