Systerel Smart Solver for C, for Ada, for SCADE