[SystemSafety] systemsafety Digest, Vol 63, Issue 13

[SPRIGGS, John J]

>  Rod Chapman said “More recently, DO-333 defines "formal language" and "formal analysis" in a manner that SPARK also meets.”

… and for us Europeans, RTCA/DO-333 is also available as EUROCAE Document ED-216.


John
From: systemsafety [mailto:systemsafety-bounces at lists.techfak.uni-bielefeld.de] On Behalf Of Rod Chapman
Sent: 26 October 2017 10:18
To: systemsafety at lists.techfak.uni-bielefeld.de
Subject: Re: [SystemSafety] systemsafety Digest, Vol 63, Issue 13

<snip>

***************************************************************************
If you are not the intended recipient, please notify our Help Desk at Email information.solutions at nats.co.uk
immediately. You should not copy or use this email or attachment(s) for any purpose nor disclose
their contents to any other person.

NATS computer systems may be monitored and communications carried on them recorded, to 
secure the effective operation of the system.

Please note that neither NATS nor the sender accepts any responsibility for viruses or any losses
caused as a result of viruses and it is your responsibility to scan or otherwise check this email
and any attachments.

NATS means NATS (En Route) plc (company number: 4129273), NATS (Services) Ltd 
(company number 4129270), NATSNAV Ltd (company number: 4164590) 
or NATS Ltd (company number 3155567) or NATS Holdings Ltd (company number 4138218). 
All companies are registered in England and their registered office is at 4000 Parkway, 
Whiteley, Fareham, Hampshire, PO15 7FL.

***************************************************************************
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20171026/93e23667/attachment.html>