SPARK in the News

17/01/2007	Military Embedded Systems magazine features SPARK in "Building secure software: Your language matters!" co-authored by SPARK team's Roderick Chapman and AdaCore's Robert Dewar. (A recent version of Adode PDF Reader is required to open the PDF of this article).
05/01/2006	Slashdot. Praxis are featured on Slashdot as a result of the Correctness by Construction Manifesto article in the December 2005 CrossTalk journal.
01/09/2005	IEEE Spectrum magazine. An article "The Exterminators" focuses on the importance of the principles of Correctness by Construction and mathematical logic in creating low defect rate software.
19/05/2003	Slashdot reviews the SPARK book

Press Releases

12/06/2006	Praxis produces zero-defect security software for US National Security Agency. Read More...
28/02/2005	Rockwell Collins has chosen Praxis’ SPARK Ada language and toolset for its Janus high-grade programmable cryptographic engine. Read More...
01/09/2005	Press release relating to IEEE Spectrum magazine article "The Exterminators".
20/01/2005	Praxis High Integrity Systems joins the DO-254 Partners Group
19/04/2005	Praxis High Integrity Systems signs agreement to take SofCheck AdaMagic technology to safety critical markets in the UK and Europe
01/10/2004	ILogix announce SPARK support in their Rhapsody UML product line.
01/10/2004	Praxis announce a joint academic initiative with AdaCore.
22/04/2004	Praxis sign an agreement with Pyrrhus Software in the USA.
01/01/2004	Sales success for new SPARK book