The R3 porject starts. We will develop support for C++ analysis and test case generation based on formal analysis.