131 shaares
1 private link
1 private link
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.
