Category:SPARK: Difference between revisions
update link to language reference of spark
m (Filling out language template) |
(update link to language reference of spark) |
||
Line 32:
A description of the SPARK Proof process is [[SPARK_Proof_Process|here]].
The SPARK tools are freely available under the GNU GPL. The SPARK language definition is
The [news:comp.lang.ada comp.lang.ada] [[newsgroup]] ([http://groups.google.com/group/comp.lang.ada/topics access via Google Groups])is the main forum for discussing or asking questions about SPARK.
|