Есть код на Си (шейкер сортировка - по сути пузырьковая в обе стороны),

необходимо доказать полную корректность с помощью инструмента Frama-c с плагином jessie

13 лет назад
hum111
35 лет
17 лет в сервисе
Был
год назад

Заявки фрилансеров

Нет заявок фрилансеров