Full Description
This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10-14, 2025.
The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The proceedings also include 1 invited short paper. They were organized in topical sections as follows: security and resilience; formal specification and verification; software quality; and artificial intelligence and formal methods.
Contents
Invited Paper.- Securely Optimized (Ethereum) Smart Contracts using Formal Methods.- Security and Resilience.- Attack Resilience Hyperproperties: Formal Security Analysis of (Automotive) Network Architectures under Active Compromise.- Reachability Analysis of Upper-Stack Manipulating Binary Code.- Resilience of Systems under Maximum Component Deviations.- Formal Specification and Verification 1.- Axiomatisation of Solidity Memory and Storage.- ProbTest: Unit Testing for Probabilistic Programs.- Observable Semantics for Characterising Consistency Between Heterogeneous Models.- Formal Specification and Verification 2.- Certificates and Witnesses for Multi-objective ω-regular Queries in Markov Decision Processes.- On the Generation of Invalid Objects for Inferring More Precise Class Invariants.- A Rodin Plugin for Genera ng Proof Obliga ons for Invariant Preserva on for ASTDs.- Software Quality.- Detecting Memory Errors in Rust Programs Including Unsafe Foreign Code.- Are Users More Willing to Use Formally Verified Password Managers?- Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny.- Artificial Intelligence and Formal Methods.- On the Comparison of Learned Classifiers.- Exploring Unknown Environments with UPPAAL STRATEGO: Safe Reinforcement Learning for Navigation and Pump Localization.- Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs.
