You can download the result of a semantic check that is listed in the Semantic checks bar.
Prerequisites
You have run a semantic check for the open model.
Procedure
The Save As dialog opens and you can navigate to the folder in which you want to save the semantic checks result in the chosen format.