[SystemSafety] Collected stopgap measures (Hoare)
Nick Tudor
njt at tudorassoc.com
Fri Nov 16 17:29:39 CET 2018
Well I can't argue with your sums, but then if you come from a false
premise anything can be 'proven'...
Who said anything about manual proofs....this was, as I pointed out,
automatic....
And BTW, I don't really mind if you believe me or not.
Nick Tudor
Tudor Associates Ltd
Mobile: +44(0)7412 074654
www.tudorassoc.com
*77 Barnards Green Road*
*Malvern*
*Worcestershire*
*WR14 3LR*
*Company No. 07642673*
*VAT No:116495996*
*www.aeronautique-associates.com <http://www.aeronautique-associates.com>*
On Fri, 16 Nov 2018 at 16:03, Derek M Jones <derek at knosof.co.uk> wrote:
> Nick,
>
> > Nope, this is formal proof, and nope, it is not marketing...cheeky! Use
> of
>
> Four man months to process 350,000 SLoC.
>
> Say 20 man days per month, so 80 man days.
> Which is around 4,500 SLoC per day, for 80 days.
>
> Not believable.
>
> Now 4-man months to run the tools over something that has already
> been written and check the results. That is believable.
>
> How long might it have taken to write a proof?
>
> If it took 6-man years to write a proof of 18K, then 350K is
> going to require 100+ man years.
>
>
> --
> Derek M. Jones Software analysis
> tel: +44 (0)1252 520667 blog:shape-of-code.coding-guidelines.com
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20181116/d4e04a19/attachment.html>
More information about the systemsafety
mailing list