SAVES: Scalable Verification of Industrial Control Systems is a new project involving VerCors. This project is a cooperation of WWU-Münster and the University of Twente, funded by a WWU - UT collaboration grant. The project aims to formaly analyse embedded systems developed with the C++ library System-C using VerCors.