Верификация кода с помощью frama-c
Дмитрий17 лет в сервисе
Данные заказчика будут вам доступны после подачи заявки
04.03.2012
Есть код на Си (шейкер сортировка - по сути пузырьковая в обе стороны),
необходимо доказать полную корректность с помощью инструмента Frama-c с плагином jessie