Как и было обещано на лекции, публикую документ с некоторыми методиками доказательства в инструментах frama-c+why3+jessie2 и солверах
Формальные методы разработки программ
Магистратура факультета ВМК МГУ имени М.В. Ломонсоова
Как и было обещано на лекции, публикую документ с некоторыми методиками доказательства в инструментах frama-c+why3+jessie2 и солверах