The DEXPI verificator for Proteus XML files can be used from the command line or with a GUI. Both variants produce the same results: an HTML verification report (model structure and detected errors) and a separate error log (xlsx spreadsheet; can be read with recent versions of LibreOffice or Excel, for example). In some cases, Windows will ask for permission to use certain system ports when either program is used for the first time. You may need to have administration rights to give this permission.
Command line version of the verificator. The only required argument is the name or path of the Proteus XML file to verify. Run the program from a console with option -h to get more information.
GUI version of the verificator.