From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,59dddae4a1f01e1a X-Google-Attributes: gid103376,public From: JP Thornley Subject: Re: Software Safety (was: Need help with PowerPC/Ada and realtime tasking) Date: 1996/06/02 Message-ID: <522612441wnr@diphi.demon.co.uk>#1/1 X-Deja-AN: 158175638 x-nntp-posting-host: diphi.demon.co.uk references: <63085717wnr@diphi.demon.co.uk> <31AC0712.29DF@lmtas.lmco.com> <31AD794D.2E62@lmtas.lmco.com> x-mail2news-path: disperse.demon.co.uk!post.demon.co.uk!diphi.demon.co.uk organization: None reply-to: jpt@diphi.demon.co.uk newsgroups: comp.lang.ada Date: 1996-06-02T00:00:00+00:00 List-Id: Robert Dewar writes: > > Bob Duff said: > > "> I suppose it depends on your definition of "correct". The > > proof-of-correctness folks define "correct" to mean "correctly obeys the > > formal specification". To me, that's a bogus definition. ..." > What's the point of degrading this useful technical term this way. ... So if there are two concepts, let's have two names. I would support the formal usage for 'correct' and suggest 'high integrity' as the ideal name for Bob Duff's needs. This new (to this thread ;-) term can readily encompass the (striving for) correctness that I want, the 'safe' features that Bob Duff, Ken Garlington and Robert Eachus want and the predictability that is required in terms of the absence of run-time errors/timing errors/ stack overflow etc. Unfortunately (for me at least) I am going to be away from the net for the next three weeks, so I'm going to either miss any other posts or be very late seeing them (depending on how far back my news supply goes) so I'll be grateful for any CC's that let me see what happens. [However I will be at Ada-Europe and would welcome the chance to continue the discussions there if at all possible.] Phil Thornley -- ------------------------------------------------------------------------ | JP Thornley EMail jpt@diphi.demon.co.uk | ------------------------------------------------------------------------