From: Colin_Paul_Gloster@ACM.org (Colin Paul Gloster)
Subject: SPARK or RAVENSCAR (from "Re: www.ada-ru.org")
Date: 04 Feb 2003 15:13:30 GMT
Date: 2003-02-04T15:13:30+00:00 [thread overview]
Message-ID: <slrnb3vm4q.eb3.Colin_Paul_Gloster@camac.dcu.ie> (raw)
In-Reply-To: 3e3ab8ff$1@epflnews.epfl.ch
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)?
next prev parent reply other threads:[~2003-02-04 15:13 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-01-27 16:27 An: www.ada-ru.org Dmitriy Anisimkov
2003-01-27 20:00 ` Larry Kilgallen
2003-01-28 9:07 ` Dmitriy Anisimkov
2003-01-31 17:57 ` www.ada-ru.org Rodrigo Garcia
2003-02-04 15:13 ` Colin Paul Gloster [this message]
2003-02-04 15:57 ` SPARK or RAVENSCAR (from "Re: www.ada-ru.org") Vinzent Hoefler
2003-02-05 12:01 ` Rod Chapman
2003-02-05 8:37 ` Phil Thornley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox