Klever: Verification Framework for Critical Industrial C Programs

Ilja Zakharov, Evgeny Novikov, Ilya Shchepetkov

Automatic software verification tools help to find hard-to-detect faults in programs checked against specified requirements non-interactively. Besides, they can prove program corre…