* ANN: SPARK Book release 7.1 upgrades...
@ 2004-06-04 15:49 Rod Chapman
0 siblings, 0 replies; only message in thread
From: Rod Chapman @ 2004-06-04 15:49 UTC (permalink / 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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2004-06-04 15:49 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-06-04 15:49 ANN: SPARK Book release 7.1 upgrades Rod Chapman
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox