Objective C/C++ verification with DIVINE
The goal of the project is to explore the possibilities of verification of Objective C/C++ through clang native support of these programming languages.
The goal of the project is to explore the possibilities of verification of Objective C/C++ through clang native support of these programming languages.