Tutoriel très complet pour la prise en main de Frama-C avec en rime des explications claires sur le calcul des Weakest Preconditions. Complémentaire aux cours de Conception Formelle donne par Vincent Penelle à l'Université de Bordeaux.

Un analyse très pertinente sur nos "digital native" pas si débrouillards si ce n'est dans la
consommation.

L'article original écris par un enseignant anglais et accessible ici : http://www.coding2learn.org/blog/2013/07/29/kids-cant-use-computers/