История изменений
Исправление Deleted, (текущая версия) :
Видимо скоро наступит тупик.ИМХО
Если все останется на текущем пути развития - то согласен, безусловно. Это уже стало явным, только никому не выгодно об этом распространяться.
Возможно, положение изменит какой-нибудь ИИ (или приближенная к нему метапрограмма), который будет создавать верификаторы для всего спектра ПО: от схем микропроцессоров и алгоритмов моделей их работы, до системого ПО, и потом, может, дело и до прикладного ПО дойдет.
Т.е. верификатор должен свести количественную сложность всего ПО к некоторым обозримым параметрам (входным и результатам), которые способен проконтроллировать человек
Исходная версия Deleted, :
Видимо скоро наступит тупик.ИМХО
Если все останется на текущем пути развития - то согласен, безусловно. Это уже стало явным, только никому не выгодно об этом распространяться.
Возможно, положение изменит какой-нибудь ИИ (или приближенная к нему метапрограмма), который будет создавать верификаторы для всего спектра ПО: от схем микропроцессоров и алгоритмов моделей их работы, до системого ПО, и потом, может, дело и до прикладного ПО дойдет.
Т.е. верификатор должен свести количественную сложность всего ПО к некоторым параметрам (входным и результатам), которые способен проконтроллировать человек