Solution

Verifiable - an SRS is verifiable only if every stated requirement can be verified cost effectively. A requirement is verifiable if there is some method to quantifiably measure whether the final software meets that requirement. 

Traceable - an SRS is traceable if the origin of each of its requirements is clear and if it makes it easy to reference each requirement in future development.

Modifiable - an SRS must clearly identify each and every requirement in a systematic manner. If there are any changes, the specific requirements and the dependent ones can be modified accordingly without impact the others.

Complete - an SRS should contain all the features requested by a client.