资产阶级绅士，工程和形式方法
The Bourgeois Gentleman, Engineering and Formal Methods
摘要：
涉及形式方法的工业应用仍然是一般规则的例外。缺乏理解，员工没有接受过适当的教育，难以整合现有的开发周期，市场没有明确的要求等等，这些都是经常听到的不正规的解释。本文报告了一些经验，游戏规则改变者，将无缝集成到安全关键系统工程的正式方法。
英文摘要：
Industrial applications involving formal methods are still exceptions to the general rule. Lack of understanding, employees without proper education, difficulty to integrate existing development cycles, no explicit requirement from the market, etc. are explanations often heard for not being more formal. This article reports some experience about a game changer that is going to seamlessly integrate formal methods into safety critical systems engineering.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
