1. A method comprising: performing, by one or more processors, a verification analysis of software code, the verification analysis comprising: a check of the software code based on coding standards, a check of the software code for a run-time error, or a check of at least part of the software code for an absence of errors; determining, by the one or more processors, properties of at least some execution paths of the software code to detect violations of the coding standards, possible occurrence of the run-time error, or the absence of errors; and providing, for display based on the verification analysis and by the one or more processors, results of the check of the software code based on the coding standards, results of the check of the software code for the run-time error, or results of the check of the at least part of the software code for the absence of errors comprising one or more of: generating a tree view for display, the tree view including a view of a violation associated with an error in the software code or a violation associated with a warning for the software code, generating a list view for display, the list view including a view of the violation associated with the error or the violation associated with the warning, generating a description for display, the description describing the violation associated with the error or the violation associated with the warning, associating an indicator with the software code for display, the indicator indicating the violation associated with the error, the violation associated with the warning, or the absence of errors in the at least part of the software code, or generating information for display, the information enabling a user to classify the violation associated with the error or the violation associated with the warning, or identifying the violation associated with the error or the violation associated with the warning.