FMSE 23 represents a significant step forward in mine safety, providing a comprehensive framework for ensuring the safe operation of mining equipment and processes. While implementation challenges exist, the benefits of FMSE 23 are clear. As the mining industry continues to evolve, the importance of functional safety will only continue to grow. By adopting FMSE 23, mining companies can demonstrate their commitment to safety, reduce risk, and improve their overall performance.
Several papers at FMSE 23 introduced new abstractions for verifying robustness. One standout presentation demonstrated a probabilistic approach to verifying convolutional neural networks (CNNs) against adversarial attacks. The takeaway? While complete formal verification of massive LLMs remains computationally intractable, showed that compositional verification for smaller, safety-critical DNNs is now a reality.
, a discipline that reached new heights of industrial relevance in 2023. Formal methods are mathematically rigorous techniques used to specify, write, and verify software systems. Unlike traditional testing, which can only find bugs, formal methods use logic-based reasoning to that a system behaves correctly under every possible state.
Because the tools presented in Melbourne in 2023 are the Visual Studio plugins of 2026. Historically, formal methods trickle down:
The 2023 edition—referred to colloquially by researchers and practitioners as —was a landmark event. Held in conjunction with the International Conference on Software Engineering (ICSE) in Melbourne, Australia, FMSE 23 brought together logicians, industry verification engineers, and academics to answer a single pressing question: How do we prove that software works correctly in the age of AI and distributed chaos?