Архив выступлений: 2009-2010 учебный год, осенний семестр
«Использование средств статической верификации при проверке нефункциональных требований».
Аннотация доклада.
В докладе будут рассмотрены методы и средства статической верификации поведения программ на соответствие заданным требованиям. Особое внимание будет уделено средствам, использующим для проверки свойств программы ее аннотированный код.