Солверы для контрольных

Всего в курсе две контрольные работы, каждая состоит из 3 задач. Для 4 типов задач на данном сайте представлены автоматические солверы, позволяющие максимально быстро и подробно решить любые задачи этих 4 типов. Пользуйтесь солверами на свой страх и риск, они были проверены в боевых условиях, но лучше проверяйте, что они нарешали. В любом случае рекомендуется перед контрольной погонять знакомые и незнакомые задачи в солвере для знакомства с тем, как он работает.

Решения контрольных работ

Решения контрольных работ пока не завезли...

Обязательные практикумы

Обязательных практикумов в курсе 2 - Frama-C и Spin. Все решения, которые имеются в наличии, приведены на соответствующих страницах.

Авторам сайта не удалось найти решения на все задачи, которые были в практикумах, поэтому призываем вас добавлять отсутствующие задачи и решения. Кроме того, если вы сами решили задачу, у которой уже есть решение на сайте, вы поможете будущим поколениям, добавив еще одно решение (лишним оно уж точно не будет). Добавлять решения можно как через issue в репозитории проекта (это может быть долго), так и через pull request. Делать pull request необходимо по инструкциям (Spin, Frama-C).

Дополнительные практикумы

Количество дополнительных практикумов может варьироваться от года к году, но в целом их может быть максимум 2. Для этих практикумов требуется более творческий подход и к ним предъявляются различные требования (по памяти и времени работы). Ниже собраны ссылки на различные реализации дополнительных практикумов. Учтите, что не все варианты реализаций работают правильно и проходят все лимиты.

Литература