Например, Бобцов

Моделирование и визуализация выполнения многопоточных программ на Java в соответствии с формальной спецификацией

Сборник тезисов
Конференция:VI Всероссийский конгресс молодых ученых
Раздел:Информационные и интеллектуальные системы и технологии
Рубрика:Информационные технологии
Год:2016

Моделирование и визуализация выполнения многопоточных программ на Java в соответствии с формальной спецификацией

УДК:004.05:004.272.26

Аннотация

В работе на примере языка Java рассмотрена проблема моделирования выполнения многопоточных программ с помощью формальных семантик. Приведен обзор существующих средств с указанием их ограничений. Сделаны первые шаги в разработке инструмента, достаточно мощного для доказательства условий корректности программы по ее исходному коду.

Материалы конференций