Formal methods (FM) are mathematics-based software development aimed at producing ``code for a nuclear power reactor''. That is, due application of FM can produce bug-free, zero-defect, correct-by-construction, guaranteed, certified software. However, the industry seldom use FM. One main reasons such situation is that there exists perception (which might well be fact) increase costs. On other h...