• Books
  • Tag: deductive verification

Books — deductive verification

EN
Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

A

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)

Programming languages
RU
Program correctness proof

Program correctness proof

A

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

Algorithms and theory