Prior to simulation, SimBiology checks the validity of the model structure and expressions, verifies that the model can be simulated, and reports the sources and potential causes of errors. You can use this verification report to locate and fix problems with model implementation.