[SystemSafety] Critical systems Linux

[Olwen Morgan]

Indeed - including this lovely vignette:

Tester: I've found a bug in your program.

Programmer: Impossible. Here is my program proof.

Tester: Here are my test results ...


On 22/11/2018 15:50, Littlewood, Bev wrote:
> I can recommend this paper for a different reason - it’s beautifully 
> written and *very funny*. Would that more CS papers read like this...
>
>> On 22 Nov 2018, at 14:42, Olwen Morgan <olwen at phaedsys.com 
>> <mailto:olwen at phaedsys.com>> wrote:
>>
>>
>> We'll have to differ on that one :-)
>>
>> A very interesting paper was published on the topic of program proofs 
>> nearly 40 years ago:
>>
>> de Millo, R. A., Lipton. R. J, and Perlis, A., J., "Social Processes 
>> and Proofs of Theorems and Programs", CACM, V22, No.5 May 1979 (.pdf 
>> available on the net - just google for it).
>>
>
> _______________________________________________
>
> Bev Littlewood
> Emeritus Professor of Software Engineering
> Centre for Software Reliability
> City, University of London
> EC1V 0HB
>
> Phone: +44 (0)20 7040 8420  Fax: +44 (0)20 7040 8585
>
> Email: b.littlewood at csr.city.ac.uk <mailto:b.littlewood at csr.city.ac.uk>
>
> http://www.csr.city.ac.uk/
> _______________________________________________
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20181122/1acecb6a/attachment-0001.html>