Харьковский национальный университет (ХНУ) им.В.Каразина включился в госпрограмму разработки систем формальной верификации программного обеспечения. Об этом сообщил "SQ" завкафедрой теоретической и прикладной информатики университета Григорий Жолткевич. По его словам, разработка систем ведется совместно с Сертификационным центром АСУ (Харьков) Госкомитета Украины по ядерному регулированию. Сейчас разрабатываются алгоритмы проверки доказательства верности программ.
По словам Г.Жолткевича, формальная верификация программного обеспечения - это методы доказательства правильности программы (отсутствия в ней ошибок). Направление формальной верификации сейчас востребовано в мире, так как растет количество программ, которые управляют технологически опасными объектами.
По словам Г.Жолткевича, в январе 2009 г. в рамках программы разработки систем формальной верификации во Францию планируется направить четырех студентов пятого курса ХНУ. Студенты пройдут во Франции стажировку в качестве магистерской подготовки.
По словам Г.Жолткевича, формальная верификация программного обеспечения - это методы доказательства правильности программы (отсутствия в ней ошибок). Направление формальной верификации сейчас востребовано в мире, так как растет количество программ, которые управляют технологически опасными объектами.
По словам Г.Жолткевича, в январе 2009 г. в рамках программы разработки систем формальной верификации во Францию планируется направить четырех студентов пятого курса ХНУ. Студенты пройдут во Франции стажировку в качестве магистерской подготовки.
