Anonymous user
User:Hibou57: Difference between revisions
→SPARK casing
No edit summary |
|||
| (4 intermediate revisions by the same user not shown) | |||
Line 10:
{{mylangend}}
=False unreal name=
About the casing of SPARK : seems it should be written uppercase. At least it is the way is written in [http://www.praxis-his.com/spark.aspx| Praxis's documentation], which is actually responsible of the maintenance of this language.▼
Hibou57 is my false unreal name. Someones told me this use to be Yannick Duchêne... this may be true, who-know.
=SPARK’s name casing=
▲About the casing of SPARK : seems it should be written uppercase. At least it is the way it is written in [http://www.praxis-his.com/spark.aspx| Praxis's documentation], which is actually responsible of the maintenance of this language.
=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]].
| |||