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