[SystemSafety] Bursting the anti formal methods bubble

[Martyn Thomas]

Derek

The rest of us are discussing how to asssure that the errors that are
under our control are reduced as far as reasonably practical, and
cost-effectiveness.

Martyn


On 30/10/2017 22:40, Derek M Jones wrote:
> The whole point of this discussion is that it cannot be used for
> assuring correct implementation of functionality, only x%, where x < 100

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20171031/daf5b4b4/attachment.html>