--- layout: fc_discuss_archives title: Message 78 from Frama-C-discuss on August 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] wp vs. jessie?



Hello,

On 08/30/2013 09:00 AM, Claude March? wrote:
> I'm asking that because I'm trying to record existing use of Jessie/Why3
> in teaching, and I'd like to encourage people to share the exercises
> they invent. (see http://why3.lri.fr/, section "Other Student Lectures
> using Why3", and I'd like to improve it)

For Frama-C, there are also these two pages of the Frama-C wiki that 
anyone (with a BTS account) can modify:
- http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:teaching
- http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:exercices

--
Julien