Translation of "die Saar" into French

So sollen von den Saar-Informatikern entwickelte mathematische Methoden das Zusammenspiel der Komponenten automatisch überprüfen.

Ainsi, les méthodes mathématiques réalisées par l'équipe de l'université de la Sarre devraient reproduire le fonctionnement et l'interaction corrects des composants de manière autonome.