Many important theoretical and practical advances have taken place in the areaof Formal Methods (FMs), and impressive applications have been developed.Furthermore, FMs and their associated tools are now routinely used in manyindustries. However, their full potential remains partly unexploited. In pg. 57 ofa recent FMs survey [47], I gave my own view about their future in a positionstatement whe…