|My Favorite Languages|
False unreal name
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 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 has some specificities and does not only relies on assertions for proofs. For further details, see the SPARK Proof Process.