Time for AERIES Verification