Новости ИСП РАН

04 Декабря, 2019

ИСП РАН выиграл конкурс на предоставление субсидий в целях реализации федеральной целевой программы «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2014-2020 годы»

ИСП РАН выиграл конкурс на предоставление субсидий в целях реализации федеральной целевой программы «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2014-2020 годы» (мероприятие 1.3, 1 очередь) по отбору инновационных проектов, направленных на проведение прикладных научных исследований и экспериментальных разработок и получение результатов, необходимых для реализации приоритетов научно-технологического развития Российской Федерации, определенных Стратегией научно-технологического развития Российской Федерации (шифр: 2019-05-579-0001). Тема проекта, представленного ИСП РАН «Исследование и разработка технологий производства и сертификации программного обеспечения с повышенными требованиями к надежности и безопасности на основе формальных методов моделирования и верификации».
Текущие результаты конкурса будут представлены на сайте проекта http://astraver.linuxtesting.ru/.