Проверка нескольких требований за один запуск инструмента статической верификации с помощью CEGAR

Проверка нескольких требований за один запуск инструмента статической верификации с помощью CEGAR

Авторы

Мордань В. О., Мутилин В. С.

Издание

Программирование. — 2016. — № 4. — С. 50–68.

Научная группа

Технологии программирования

Все публикации за 2016 год Все публикации