История изменений
Исправление slackwarrior, (текущая версия) :
А так и будет :) когда (если) за это возьмется комитет смотрящих от регуляторов ответственных применений типа авионики и медицинского оборудования, а не хипсторских понтов изобретателей «того же что у взрослых» с пионерским покерфейсом что якобы до них ничего не было, а это они придумали статический анализ... и ни слова про формальную верификацию :)
Исправление slackwarrior, :
А так и будет :) когда (если) за это возьмется комитет смотрящих от регуляторов ответственных применений типа авионики и медицинского оборудования, а не хипсторских понтов изобретателей «того же что у взрослых» с пионерским покерфейсом что якобы до них ничего не было, а это они придумали статический анализ... и еи слова про формальную верификацию :)
Исправление slackwarrior, :
А так и будет :) когда (если) за это возьмется комитет регуляторов ответственных применений типа авионики и медицинского оборудования, а не хипсторских понтов изобретателей «того же что у взрослых» с пионерским покерфейсом что якобы до них ничего не было, а это они придумали статический анализ... и еи слова про формальную верификацию :)
Исходная версия slackwarrior, :
А так и будет :) когда (если) за это возьмется комитет регуляторов ответственных применений типа авионики и медицинского оборудования, а не хипсторских понтов изобретателей «того же что у взрослых» с понтом что до них ничего не было :)