In this paper, we have explored how Ml contributes to enhance Fv tools efficiency.
We covered four classical approaches, namely Sat, Theorem-Proving (Tp),
Model-Checking (Mc), and Static Analysis (Sa), for which we catalog a list of
themes, i.e. pre…