Сборники тезисов • Информационные и интеллектуальные системы и технологии • Технологии программирования, искусственный интеллект, биоинформатика
Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, 2018.
Пример заполнения выходных данных:
Закирзянов И.Т., Ульянцев В.И. Разработка предикатов нарушения симметрии для построения автоматных моделей программного обеспечения по заданной спецификации в виде темпоральных формул // Сборник тезисов докладов конгресса молодых ученых. Электронное издание [Электронный ресурс]. - Режим доступа: ссылка на страницу с тезисом, своб.
Разработка предикатов нарушения симметрии для построения автоматных моделей программного обеспечения по заданной спецификации в виде темпоральных формул
УДК: 004.832.25
Аннотация:
К программному обеспечению (ПО) для ответственных систем зачастую предъявляются формальные требования - спецификация - которым оно должно удовлетворять. Это крайне важно, потому как иначе использование такого ПО может быть опасным во всех смыслах, в том числе и финансово-материальном. Именно поэтому формальные методы, позволяющие строить модели такого ПО по спецификации, а также позволяющие затем формально их верифицировать, крайне важны. Однако задачи построения конкретных моделей по спецификации относятся как минимум к классу NP, что означает, что не существует полиномиальных от размера спецификации алгоритмов, позволяющих построить такие модели. В связи с этим, разрабатываются оптимизационные алгоритмы, позволяющие во многих (но не во всех) случаях находить решение достаточно быстро.