Книги — deductive verification

EN
Руководство по верификации программного обеспечения с Frama-C: основные компоненты, применение и примеры использования

Руководство по верификации программного обеспечения с Frama-C: основные компоненты, применение и примеры использования

A

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)

Языки программирования
RU
Доказательство корректности программ

Доказательство корректности программ

A

К. Рустан М. Лейно

Алгоритмы и теория