[SystemSafety] Critical systems Linux

[Littlewood, Bev]

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/83e9140f/attachment.html>