Dans cette présentation, nous proposons un protocole complet d' algorithme variationnel analogue sur un simulateur à atomes de Rydberg pour simuler des petites molécules, de la préparation du registre, en passant par la description du circuit analogue, jusqu' à la méthode de mesure des énergies... Dans cet exposé, je présenterai les outils formels utilisés à sein de l' équipe QuaCS pour le calcul quantique: langages syntaxiques, langages graphiques et outils de preuves de programmes.
