French version selectionnée English version Spanish version

FURETHERMORE : FUlly REliable THeorems in an ERa of MObility and REdundancy

1 oct. 2019
Campus de la Doua - Villeurbanne (France)

Furethermore builds on the success of its predecessor Morover (2017, It addresses the application and the development of formal methods to study and provide guarantees on distributed systems. Furethermore focuses on distributed data and their management sytems, and swarms of mobile robots, both characterized by a high dynamicity and an extreme difficulty to ensure that expected properties actually hold.
Discipline scientifique : Informatique - Calcul parallèle, distribué et partagé - Logique en informatique - Performance et fiabilité - Robotique

Lieu de la conférence
Personnes connectées : 142 |  Contact |  À propos |  RSS