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.


American