Vers des programmes d’automates vraiment sûrs ?

A l’heure de l’informatisation galopante des solutions d’automatisation, s’assurer de leur bon fonctionnement passe de plus en plus par la vérification et la validation de programmes. Des alternatives aux méthodes manuelles arrivent, issues du monde de l’informatique pure.