Caduceus
Caduceus
fût un outil de vérification de programmes C bâti au dessus de l'outil
Why
, dans l'équipe
ProVal team
, par
Jean-Christophe Filliâtre
et
Claude Marché
.
Caduceus
est aujourd'hui
obsolète
et avantageusement remplacé par
Frama-C
.
