Le programme INCA rend les méthodes formelles accessibles à toutes les entreprises qui développent du code.