Доклад Шилова Николая Вячеславовича
13 февраля в рамках семинара Регионального научно-образовательного математического центра КФУ с докладом на тему "Платформенно-независимая спецификация и верификация стандартных математических функций" выступил к.ф.-м.н., доцент Университета Иннополис (г. Иннополис) Шилов Николай Вячеславович.
В докладе было рассказано об основных шагах и результатах платформенно-независимой инкрементальной комбинированной спецификации и верификации стандартных математических функции квадратного корня и синуса. В настоящий момент автоматизированная верификация разработанных алгоритмов выполнена только частично: с использованием системы ACL2 доказано реализуемость (существование) чисел с фиксированной запятой и таблицы начальных приближений квадратного корня.
