Re: [SystemSafety] Logic

From: Derek M Jones < >
Date: Tue, 18 Feb 2014 14:51:41 +0000


Gergely,

>> It does scale, with proper tools. Of course scaling is an important

Decent tools would enable them to scale up a bit more, but there are fundamental issues relating to human involvement at various stages and just the combinatorial explosion of stuff that could happen.

>> research question, addressed e.g. here:
>
> http://www.nicta.com.au/pub?id=5717

and my post on some formal methods work done at NICTA: http://shape-of-code.coding-guidelines.com/2012/05/23/would-you-buy-second-hand-software-from-a-formal-methods-researcher/

-- 
Derek M. Jones                  tel: +44 (0) 1252 520 667
Knowledge Software Ltd          blog:shape-of-code.coding-guidelines.com
Software analysis               http://www.knosof.co.uk
_______________________________________________
The System Safety Mailing List
systemsafety_at_xxxxxx
Received on Tue Feb 18 2014 - 15:52:55 CET

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