Most software problems arise from deficiencies in the manner in which software requirements are elicited and expressed. Ensuring that the Software Requirements Specification document (SRS) has the necessary quality is crucial to the success of any software development project, since its information is used across all project stages. In this paper, we present a semiautomatic verification tool for SRS documents based on a comprehensive quality model.