Лекция и семинар 28 марта будут посвящены использованию нашей связки инструментов frama-c+jessie2+why3 для доказательства полной корректности. Будет много живых демонстраций доказательства. Очень рекомендую взять с собой ноутбук установленными инструментами, чтобы можно было повторять за мной действия и сразу задавать вопросы.