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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,6182a664d144508e
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-02-04 07:13:31 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.icl.net!newsfeed.fjserv.net!diablo.theplanet.net!news.indigo.ie!feeder.news.heanet.ie!not-for-mail
Newsgroups: comp.lang.ada
From: Colin_Paul_Gloster@ACM.org (Colin Paul Gloster)
Subject: SPARK or RAVENSCAR (from "Re: www.ada-ru.org")
References: <b13mii$bmg$1@ns.omskelecom.ru> <3e3ab8ff$1@epflnews.epfl.ch>
Reply-To: Colin_Paul_Gloster@ACM.org
Message-ID: <slrnb3vm4q.eb3.Colin_Paul_Gloster@camac.dcu.ie>
User-Agent: slrn/0.9.7.0 (SunOS)
Organization: Dublin City University (DCU)
Cache-Post-Path: ns2-ext.dcu.ie!unknown@camac.dcu.ie
X-Cache: nntpcache 2.3.3 (see http://www.nntpcache.org/)
Date: 04 Feb 2003 15:13:30 GMT
NNTP-Posting-Date: 04 Feb 2003 15:13:30 GMT
NNTP-Posting-Host: 136.206.1.1
X-Trace: 1044371610 reader.news.heanet.ie 61614 [::ffff:136.206.1.1]:37052
Xref: archiver1.google.com comp.lang.ada:33769
Date: 2003-02-04T15:13:30+00:00
List-Id: <comp.lang.ada>

In article news:3e3ab8ff$1@epflnews.epfl.ch , Rodrigo Garcia wrote
in response to a post by Dmitriy Anisimkov:
  
"    I have seen that, among the links you have added, you have included the
ORK page. As one of the project developers of ORK, I am very proud of it.
[..] you can read SPARK (the High-Integrity version of Ada) [..]"

Hello Rodrigo.

SPARK typically involves more dedication to proofs but Ravenscar is not
intended to be low integrity I would think. Do you think that SPARK is
typically safer (for space work)?