Automates, structures et vérification