From: rod.chapman@praxis-cs.co.uk (Rod Chapman)
Subject: ANN: SPARK Book release 7.1 upgrades...
Date: 4 Jun 2004 08:49:15 -0700
Date: 2004-06-04T08:49:15-07:00 [thread overview]
Message-ID: <cf2c6063.0406040749.3d7cae14@posting.google.com> (raw)
We're pleased to announce the availability of
release 7.1 of the SPARK Toolset for purchasers of
the "SPARK Book" by John Barnes.
These are available now for Windows and IA32/Linux
from www.sparkada.com
This release includes the SPARK Examiner version 7.1
and Simplifier 2.15. The latter includes signigicant
improvements to its theorem proving tactics for
VCs involving quantifiers and updates to composite
objects (e.g. arrays).
The language and Examiner 7.1 support the recent
"RavenSPARK" tasking features of SPARK.
Full documentation is included in each of the packages.
All the best,
Rod Chapman, SPARK Team, Praxis Critical Systems
reply other threads:[~2004-06-04 15:49 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox