From: Mehdi Saada <00120260a@gmail.com>
Subject: grassroots level SPARK Initiation
Date: Fri, 23 Mar 2018 07:05:22 -0700 (PDT)
Date: 2018-03-23T07:05:22-07:00 [thread overview]
Message-ID: <0cef0914-30b1-4139-a341-40e8f32f85d9@googlegroups.com> (raw)
Hi.
I couldn't find an initiation to verified programming using SPARK (aspects syntax) intended at beginners. I'm just trying to learn doing things right, that is, proving as much things I can, starting with the most basic things.
If I want to learn that once I'm already working on (relatively) large codes, I'm sure it will be so much harder.
What do you think of it ? Is it too early ? Is there a thing such as "too early" ? Is there such a tuto somewhere ?
next reply other threads:[~2018-03-23 14:05 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-03-23 14:05 Mehdi Saada [this message]
2018-03-23 14:16 ` grassroots level SPARK Initiation Mehdi Saada
2018-03-23 14:24 ` Bojan Bozovic
2018-03-23 16:33 ` Shark8
2018-04-25 15:02 ` Mehdi Saada
2018-04-25 15:25 ` Mehdi Saada
2018-04-25 16:14 ` Niklas Holsti
2018-04-26 1:59 ` Paul Rubin
2018-05-24 18:55 ` Mehdi Saada
2018-05-24 20:52 ` Paul Rubin
2018-05-24 23:50 ` Mehdi Saada
2018-05-25 1:09 ` Paul Rubin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox