4. Verification - Execution

4.1. Operand MATER_USURE

It is verified that the pair of materials provided by the user is in the database.

4.2. Operands RESU_GENE/INST_INIT/INST_FIN/NB_BLOC

The value of INST_FIN is compared to the final instant \({t}_{f}\) of the tran_gene result. The value of INST_FIN selected is \(\mathrm{min}({t}_{f},{t}_{1})\).

If the value of INST_INIT \({t}_{0}\) is greater than the value of INST_FIN, we stop in error.