<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>This was Tony Hoare's originally stated plan for the Oxford
Programming Research Group in (as I recall) the late 1970s. I
don't know when or why he decided not to do it. <br>
</p>
<p>Regards</p>
<p>Martyn<br>
</p>
<p><br>
</p>
<div class="moz-cite-prefix">On 10/07/2020 15:12, Peter Bernard
Ladkin wrote:<br>
</div>
<blockquote type="cite"
cite="mid:9bd6faa5-6b12-e6dd-2453-d9f8eb0d841a@causalis.com">
<pre class="moz-quote-pre" wrap="">
On 2020-07-10 11:14 , <a class="moz-txt-link-abbreviated" href="mailto:paul_e.bennett@topmail.co.uk">paul_e.bennett@topmail.co.uk</a> wrote:
</pre>
<blockquote type="cite">
<pre class="moz-quote-pre" wrap="">
If there was a body that would become the repository for very
thoroughly inspected and tested software components that would have
the reports of the voracity of such components stored together, we might
stand a chance at pulling together systems that work well.
</pre>
</blockquote>
<pre class="moz-quote-pre" wrap="">The idea of such a respository, and the organisation to put it together, as well as significant
resources put into it, goes back at least to the founding of Odyssey Research Associates by the
Cornell logician Dick Platek in the early 1980's.
The logician David Guattari worked for ORA for a long time, as I recall. The company became ORA
Canada and in Ottawa. Dan Craigen worked for them for a long time. They developed the Z/Eves system,
based on a theorem prover developed by Mark Saaltink. I visited them in Ottawa back in 1995.
ESA wanted to develop software for space uses as "building block" software, and some nearly 20 years
ago I was involved in the negotiations for the EU-supported ASSERT project to do that. Quite a lot
of renowned people involved, many of them in FM.
Progress towards the goal of a guaranteed-dependable SW library? Hard to see much, if any, in the
last almost-forty years.
PBL
Prof. Peter Bernard Ladkin, Bielefeld, Germany
Styelfy Bleibgsnd
Tel+msg +49 (0)521 880 7319 <a class="moz-txt-link-abbreviated" href="http://www.rvs-bi.de">www.rvs-bi.de</a>
</pre>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-pre" wrap="">_______________________________________________
The System Safety Mailing List
<a class="moz-txt-link-abbreviated" href="mailto:systemsafety@TechFak.Uni-Bielefeld.DE">systemsafety@TechFak.Uni-Bielefeld.DE</a>
Manage your subscription: <a class="moz-txt-link-freetext" href="https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety">https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety</a></pre>
</blockquote>
</body>
</html>