ANN: SPARK in the USA - Press Release

From: Rod Chapman (rod.chapman_at_praxis-cs.co.uk)
Date: 04/29/04 

Date: 29 Apr 2004 07:48:39 -0700

Those interested in SPARK might want to check out
either www.sparkada.com or www.pyrrhusoft.com - we have
issued a press release regarding support for SPARK in the USA.
 - Rod, SPARK Team, Praxis Critical Systems

Relevant Pages

  • ANN: SPARK 7.3 now available
    ... and the toolset release note are now available from www.sparkada.com ... Tool upgrade packages for readers of the SPARK textbook are ... Support for proof rules involving the 'Size attribute. ... Support for user-defined proof rules for the Simplifier. ...
    (comp.lang.ada)
  • Re: XRP
    ... We'd might be able to support ... >The SPARK toolset is, of course, totally free to University faculty... ... Suppose hypothetically that an Australian computer science professor was ...
    (comp.lang.ada)
  • Re: allocation of an array
    ... > First of all I must use the SPARK Ada subset (so no access types, ... SPARK support queries should be addressed to sparkinfo@praxis-cs.co.uk - ... - Rod Chapman, SPARK Team, Praxis Critical Systems Limited ...
    (comp.lang.ada)
  • ANN: SPARK Training in 2005
    ... I'm pleased to say that dates for public SPARK Training for 2005 ... advanced "Black Belt SPARK" course that ... - Rod Chapman, SPARK Team ...
    (comp.lang.ada)