In this paper, we describe the features of the ReqSys tool, a tool to verify and map PL-AOVgraph models into feature models.