Strumento di convalida della doppia programmazione