Un système d'exploitation écrit en ADA et formellement vérifié avec SPARK.

«Au total, on parle donc de 1 % des accidents où le casque évite des conséquences lourdes.

À comparer avec la limitation des voitures à 30 km/h, qui permet de réduire jusqu’à 50 % les accidents graves, selon SWOV et l’OMS.»