VerifyingDLTL04