Tutto il software del futuro sarà formalmente verificato. Siamo ancora all'inizio.