LINUX.ORG.RU

История изменений

Исправление Deleted, (текущая версия) :

Видимо скоро наступит тупик.ИМХО

Если все останется на текущем пути развития - то согласен, безусловно. Это уже стало явным, только никому не выгодно об этом распространяться.

Возможно, положение изменит какой-нибудь ИИ (или приближенная к нему метапрограмма), который будет создавать верификаторы для всего спектра ПО: от схем микропроцессоров и алгоритмов моделей их работы, до системого ПО, и потом, может, дело и до прикладного ПО дойдет.

Т.е. верификатор должен свести количественную сложность всего ПО к некоторым обозримым параметрам (входным и результатам), которые способен проконтроллировать человек

Исходная версия Deleted, :

Видимо скоро наступит тупик.ИМХО

Если все останется на текущем пути развития - то согласен, безусловно. Это уже стало явным, только никому не выгодно об этом распространяться.

Возможно, положение изменит какой-нибудь ИИ (или приближенная к нему метапрограмма), который будет создавать верификаторы для всего спектра ПО: от схем микропроцессоров и алгоритмов моделей их работы, до системого ПО, и потом, может, дело и до прикладного ПО дойдет.

Т.е. верификатор должен свести количественную сложность всего ПО к некоторым параметрам (входным и результатам), которые способен проконтроллировать человек