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?

• Rod

  ---

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