Software Engineering and Formal Methods : 23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings / / edited by Domenico Bianculli, Elena Gómez-Martínez

• Autore: Bianculli Domenico
• Pubblicazione: Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2026
• Edizione: 1st ed. 2026.
• Descrizione fisica: 1 online resource (475 pages)
• Disciplina: 005.1
• Soggetto topico: Software engineering; Logic programming; Data structures (Computer science); Information theory; Microprogramming; Computer systems; Computer programming; Software Engineering; Logic in AI; Data Structures and Information Theory; Control Structures and Microprogramming; Computer System Implementation; Programming Techniques
• Nota di contenuto: 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.
• Sommario/riassunto: 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.
• Titolo autorizzato: Software Engineering and Formal Methods
• ISBN: 3-032-10444-0
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996691679903316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Computer Science, . 1611-3349 ; ; 16192