User:PhilThornley: Difference between revisions
Content deleted Content added
Created page with '{{mylangbegin}} {{mylang|Ada|Competent}} {{mylang|SPARK|Expert}} {{mylangend}} =My Experience= Almost all my experience is in the field of embedded systems. <p>Since 1992 I have …' |
|||
Line 5:
=My Experience=
Almost all my experience is in the field of embedded systems.
==SPARK Proof==
I have a particular interest in the use of SPARK for the formal proof of program properties and I have written [http://www.sparksure.com/5.html some tutorials] on this.
|