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?
This archive was generated by hypermail 2.3.0 : Sun Feb 17 2019 - 20:17:07 CET