Aujourd’hui les algorithmes sont partout. Mais dans un avion en vol, une voiture autonome ou une centrale nucléaire, une seule défaillance logicielle peut provoquer une catastrophe… Comment garantir la précision et la sécurité de ces systèmes dits critiques ? Bienvenue dans le monde des langages synchrones !