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