Разработать методику автоматизации генерации Acsl-спецификаций
От вас требуется: Написать несколько спецификаций, верифицировать тестовые программы и т.п. Разработать методику по автоматизации генерации спецификаций на языке ACSL для типовых конструкций C-кода. Разработать подобный генератор( плагин ) и протестировать его на некотором работе небольших C-программ.
Ниже прикреплю наработки диплома, правки и предложения приветствуются.