Integrated Verificator and Analyzer of...