Без заголовка

А мне кажется, что эти проблемы уже лет 40 обсуждаются (Dijkstra, Ершов, например). Вроде достаточно посмотреть, сколько книжек по доказательству правильности программ, сколько статических анализаторов программ, чтобы, как минимум, не называть это проблемой завтрашнего дня.