Abstract
In this paper we present a light-weight approach for the automatic verification of requirements. This approach is not based on natural language parsing techniques but on the representation of requirements in XML. In our approach, XSLT stylesheets are used not only to automatically generate requirements documents, but also to provide verification-oriented heuristics as well as to measure the quality of requirements using some verification-oriented metrics. These ideas have been implemented in REM, an experimental XML-based requirements management tool also described in this paper.