[SystemSafety] Collected stopgap measures (Hoare)

[Martyn Thomas]

Echoes of the great Tony Hoare: How Did Software Get So Reliable Without
Proof?
<https://www.gwern.net/docs/math/1996-hoare.pdf>

Martyn

On 16/11/2018 01:42, Paul Sherwood wrote:
> I'm going to continue to disagree, because there is so much trusted
> software in the world which has arisen without these artifacts. 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20181116/024b421c/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20181116/024b421c/attachment.sig>