Note
Here will be soon a detailed description of the methods used in FINN to functionally verify a model.