ACCORDS est un projet de recherche fondamentale, visant à améliorer la qualité des technologies logicielles dans le domaine des architectures de service à grande échelle (SOA). Pour ce faire, nous proposons des méthodes innovantes, et ambitieuses, pour la mise en oeuvre d'algorithmes permettant la vérification automatique (model-checking) du comportement de ce type d'applications réparties. Nous chercherons à définir et à implanter des algorithmes permettant de vérifier des propriétés de systèmes à nombre d'états infini, en particulier combinant des canaux de communication non-bornés, des variables entières, et des topologies paramétrées. Nos outils seront confrontés à des cas d'étude de grande taille.