Anonymous user
User:Hibou57: Difference between revisions
no edit summary
No edit summary |
No edit summary |
||
Line 18:
=SPARK is not SPARC=
A word to avoid confusion: as recalled by Praxis, SPARK, with a K, has nothing to deals with SPARC, with a C. These are two different things.
=SPARK specificities=
SPARK has some specificities and does not only relies on assertions for proofs. For further details, see [[SPARK_Proof_Process|the SPARK Proof Process]].
| |||