Re: [SystemSafety] systemsafety Digest, Vol 29, Issue 7

From: Roderick Chapman < >
Date: Sun, 14 Dec 2014 14:26:57 +0000

On 12/12/2014 11:00, systemsafety-request_at_xxxxxx wrote:
> The new Mission Computer software was still in
> Ada, but not in a SPARK compatible subset

That's interesting. Who paid the bill for you to put it right and repeat the analysis? Lockheed? MoD? RAF?


The System Safety Mailing List
systemsafety_at_xxxxxx Received on Sun Dec 14 2014 - 15:27:12 CET

This archive was generated by hypermail 2.3.0 : Sun Feb 17 2019 - 20:17:07 CET