TheUserManualexplainshowtouseReqtifyonyourprojects,suchashowtodescribeyourproject'sprocess,howtounderstandtheanalysisresults,howtofilterthem,howtogeneratereports.AspectsdirectlylinkedtotheuseofauthoringandverificationtoolsaredetailedintheCouplingNote