| 
Welcome to SPARKAda.com – the home for the SPARK and
SPADE high-integrity software development products from Praxis
High Integrity Systems.
SPARK training course dates announced for 2009
Dates for the "Software Engineering with
SPARK" and "Black Belt SPARK" training courses
have been announced for March 2009. See the training
page for details.
28th October 2008 - Praxis and AdaCore Announce
Strategic Partnership
Praxis are pleased to announce the formation of a long-term
partnership with AdaCore, with the
intent of taking the SPARK language and toolset to a new level in technical
capability, marketing and sales.
See the full Press
Release.
6th October 2008 - Tokeneer Project Sources
now available!
We're pleased to announce the immediate availability
of the Tokeneer project material. The Tokeneer project is
an NSA-funded demonstration of high-assurance software development,
aimed at meeting or exceeding the requirements of Common Criteria
EAL5.
See the full Press
Release.
Go straight to the Tokeneer
Project page, hosted by our partners at AdaCore.
Join SPARK Team
An exciting opportunity to join the SPARK development
team, which is world-renowned for its work in high-integrity
programming language design and static verification technology.
Read
more...
New SPARK Brochure - March 2008
Download
the new SPARK Language and Toolset brochure
(8 pages, PDF, 470kb)
If you are looking for the Praxis High Integrity Systems Corporate
Home-Page, then click
here.
Notes on trademarks and other instances
of the name "SPARK":
• The SPARK programming language is not sponsored by
or affiliated with SPARC International Inc and is not based
on the SPARC™ architecture.
• If you came here looking for the SPARK portable C real
time kernel, try Real
Time Microsystems.
• If you came here looking for the SPARK C-to-VHDL high-level
synthesis framework, then try the University
of California at Irvine.
• If you came here looking for the Simulation Problem
Analysis and Research Kernel (VisualSPARK), then try Lawrence
Berkeley National Laboratory.
• Design-by-Contract is a trademark of Interactive Software
Engineering Inc
|
