As a researcher for 37 years in Formal Methods (applied to software production, but also to manufacturing and telecommunications systems), I support every line of this manifesto: “A Manifesto for Applicable Formal Methods”, by Mario Gleirscher, Jaco van de Pol and Jim Woodcock.
https://arxiv.org/abs/2112.12758