added specification components verification