Verifica formale di logiche di controllo di impianti di processo