Model driven code checking