TY  - RPRT
TI  - Klever: Verification Framework for Critical Industrial C Programs
AU  - Ilja Zakharov
AU  - Evgeny Novikov
AU  - Ilya Shchepetkov
PY  - 2023
UR  - https://arxiv.org/abs/2309.16427
ID  - 2309.16427
ER  -