Un nouvel article est disponible sur le blog Systerel ! « Multi-Agent Smart Solver »

Systerel présente le nouveau venu dans la famille Systerel Smart Solver : Multi-Agent Smart Solver (MASS). MASS permet de bénéficier des apports des clusters de calcul pour réduire significativement la durée de preuve sur les propriétés de sécurité de systèmes complexes et critiques tels que des postes de manœuvre de signalisation ou des pilotages automatiques de métro.

Retrouvez l’article sur le blog Systerel ici

N’hésitez pas à partager avec nous votre avis ou vos remarques. Bonne lecture !