A new version of the program complex SRDSV2 (SDL/REAL Distributed Systems Verifier) intended for modeling, analysis and verification of SDLspecifications of distributed systems is described. This complex includes a translator from the SDL language into the Dynamic-REAL language (dREAL), a tool for automatic modeling of dREAL- specifications and a translator from dREAL into the input language Promela of the SPIN verifier. In the SRDSV2 version dREAL has been extended by introducing procedures. This extension allows to reduce the amount of dREAL- specifications and their models in Promela. An application of the SRDSV2 tool-set to analysis and verification of a dynamic system for control of booking terminals net is described.