12.06.2009: Новая Программа Центра верификации будет анонсирована на PSI'09

Цели и содержание Программы будут раскрыты в докладе Алексея Хорошилова "Establishing Linux Driver Verification Process", который состоится в рамках седьмой международной конференции памяти академика А.П. Ершова "Перспективы систем информатики" (PSI'09), проходящей с 15 по 19 июня 2009 г. в Академгородке (Новосибирск).

Помимо этого, представитель нашего Центра Виктор Кулямин поделится опытом тестирования математических функций в докладе "Standardization and Testing of Mathematical Functions". Приглашаем всех к обсуждению деятельности Центра верификации на конференции PSI'09.