Исследовательская группа

Лаборатория языковых инструментов

О применении SMT-солверов для анализа ПО

December 12

Множество современных методов в области анализа ПО практически невозможно реализовать без использования SMT-солверов. Несмотря на быстрый прогресс SMT-теории, использование солверов на практике часто затруднено различными очевидными и не очень очевидными проблемами. В докладе мы обсудим, что такое SMT-солверы (и, что более важно, чем они не являются), что им по силам, а что нет, как они могут быть использованы для конкретных задач и какие проблемы нужно преодолеть, чтобы они действительно заработали на практике.

Докладчик: Михаил Беляев, СПбПУ им. Петра Великого.

Материалы