From: clubley@remove_me.eisner.decus.org-Earth.UFP (Simon Clubley)
Subject: Re: n versioning is there any other better approach
Date: 24 Apr 2006 07:04:42 -0500
Date: 2006-04-24T07:04:42-05:00 [thread overview]
Message-ID: <w5nDt6ZfLmMS@eisner.encompasserve.org> (raw)
In-Reply-To: 1145851455.760040.151650@i40g2000cwc.googlegroups.com
In article <1145851455.760040.151650@i40g2000cwc.googlegroups.com>, "Ananth the Boss" <anboss@gmail.com> writes:
> can u give me links/references for formal proof approach
> thanks
>
A link to Praxis:
http://www.praxis-his.com/sparkada/
Question: Is your safety critical application something that you are
developing as part of a university project (or similar) or will lives
actually depend on the correct functioning of your software ?
Simon.
--
Simon Clubley, clubley@remove_me.eisner.decus.org-Earth.UFP
If Google's motto is "do no wrong", then how did we get Google Groups 2 ?
prev parent reply other threads:[~2006-04-24 12:04 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-04-21 6:05 n versioning is there any other better approach Ananth the Boss
2006-04-21 13:45 ` Larry Kilgallen
2006-04-21 21:25 ` Robert A Duff
2006-04-22 0:50 ` Jeffrey R. Carter
2006-04-22 11:50 ` Larry Kilgallen
2006-04-23 5:44 ` Jeffrey R. Carter
2006-04-23 23:31 ` Peter Amey
2006-04-24 4:05 ` Ananth the Boss
2006-04-24 10:11 ` Ananth the Boss
2006-04-24 4:04 ` Ananth the Boss
2006-04-24 12:04 ` Simon Clubley [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox