История изменений
Исправление alysnix, (текущая версия) :
вы как бы намекаете, что проверка компилятором инвариантов, ограничений, правил и всего что можно - не дает никакого результата, ни в разработке, ни финальной корректности изделия?
это все равно что утверждать, что езда без ПДД и всей инфраструктуры, навроде светофоров, разметок, развязок, шлагбаумов и прочего… не дает никакого эффекта в плане безопасности и пропускной способности дорожного движения???
смело!
Исходная версия alysnix, :
вы как бы намекаете, что проверка компиляторов инвариантов, ограничений, правил и всего что можно - не дает никакого результата, ни в разработке, ни финальной корректности изделия?
это все равно что утверждать, что езда без ПДД и всей инфраструктуры, навроде светофоров, разметок, развязок, шлагбаумов и прочего… не дает никакого эффекта в плане безопасности и пропускной способности дорожного движения???
смело!