История изменений
Исправление dvetutnev, (текущая версия) :
Корректность многопоточного софта практически невозможно доказать численными методами. Ибо космическое число вариантов исполнения. А вот аналитически уже реально. Рекомендую следовать советам [url=«https://www.linux.org.ru/forum/development/15446804?cid=15447993»]kawaii_neko[/url]
(разметку сломали?)
Исходная версия dvetutnev, :
Корректность многопоточного софта практически невозможно доказать численными методами. Ибо космическое число вариантов исполнения. А вот аналитически уже реально. Рекомендую следовать советам [url=https://www.linux.org.ru/forum/development/15446804?cid=15447993]kawaii_neko[/url]