it is used some in aerospace and defense: https://www.umsec.umn.edu/sites/www.umsec.umn.edu/files/FMICS07-Rockwell-Collins.pdf https://www.umsec.umn.edu/sites/w

it is used some in aerospace and defense: https://www.umsec.umn.edu/sites/www.umsec.umn.edu/files/FMICS07-Rockwell-Collins.pdf https://www.umsec.umn.edu/sites/www.umsec.umn.edu/files/FMIC... I have heard stories from people in Europe that formal methods are used there in checking implementations for life and safety critical pieces of civil engineering, like high speed trains and nuclear power stations.