Αυτόματος επαναπρογραμματισμός

Επαναπρογραμματισμός που γίνεται από τον υπολογιστή για αυτόματη αλλαγή ημερομηνιών λήξης στις προγραμματισμένες αποδείξεις όταν εντοπίσει ότι οι ημερομηνίες λήξης και οι ημερομηνίες ανάγκης είναι εκτός φάσης.