Systerel est associée à l’action de soutien et de coordination SC2 “Satisfiability Checking and Symbolic Computation”.
Cette action, soutenue par l’Union Européenne, a pour objectif de permettre aux membres des communautés de recherche Vérification de satisfiabilité et Calcul formel de travailler ensemble.
SC2, par les interactions et le transfert des connaissances et des techniques entre les deux communautés, permettra le développement de nouveaux thèmes de recherche répondant à des problèmes universitaires et industriels.
Dans le cadre de sa veille technologique, Systerel s’est associée à SC2 afin d’améliorer les performances en preuve automatique de la plate-forme Rodin, en complément du projet de recherche collaboratif SMArT.
En savoir plus