L’Américain Real Intent vient de doter sa suite logicielle Verix 5.0 d’un nouveau moteur de calcul, qui permet notamment de multiplier la vitesse de vérification par 10.

Parmi les méthodologies de vérification récentes, la méthode des preuves formelles a déjà fait ses preuves face aux méthodologies classiques. Il ne faudrait toutefois pas que cette technique

…