Верификация в вычислительной технике
|
Грушин Анатолий Иванович
Кандидат технических наук, доцент Московского физико-технического института (МФТИ), ведущий научный сотрудник Института точной механики и вычислительной техники им. С.А. Лебедева РАН, Член IEEE, ACM и IEEE Computer Society. Автор около 50 печатных работ и 11 патентов, в том числе 2 патентов США.
|
В статье даётся определение верификации, рассматриваются её виды и эффективность различных методов каждого вида.
Комментарии читателей
© Журнал "Потенциал", 2005-2012. Все права защищены. Воспроизведение материалов сайта и журнала "Потенциал" в любом виде, полностью или частично, допускается только с письменного разрешения редакции.
Отзывы и пожелания шлите почтой.
Подготовка к ЕГЭ
ЕГЭ по математике
login
|
