LEADER 04461nam  22007455  450 
001 996691679903316
005 20251111120415.0
010   $a3-032-10444-0
024 7 $a10.1007/978-3-032-10444-1
035   $a(CKB)42609691900041
035   $a(MiAaPQ)EBC32409377
035   $a(Au-PeEL)EBL32409377
035   $a(DE-He213)978-3-032-10444-1
035   $a(OCoLC)1564376913
035   $a(EXLCZ)9942609691900041
100   $a20251111d2026      u|         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aSoftware Engineering and Formal Methods $e23rd International Conference, SEFM 2025, Toledo, Spain, November 10?14, 2025, Proceedings /$fedited by Domenico Bianculli, Elena Gómez-Martínez
205   $a1st ed. 2026.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2026.
215   $a1 online resource (475 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v16192
311 08$a3-032-10443-2 
327   $aInvited 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.
330   $aThis 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.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v16192
606   $aSoftware engineering
606   $aLogic programming
606   $aData structures (Computer science)
606   $aInformation theory
606   $aMicroprogramming
606   $aComputer systems
606   $aComputer programming
606   $aSoftware Engineering
606   $aLogic in AI
606   $aData Structures and Information Theory
606   $aControl Structures and Microprogramming
606   $aComputer System Implementation
606   $aProgramming Techniques
615  0$aSoftware engineering.
615  0$aLogic programming.
615  0$aData structures (Computer science)
615  0$aInformation theory.
615  0$aMicroprogramming.
615  0$aComputer systems.
615  0$aComputer programming.
615 14$aSoftware Engineering.
615 24$aLogic in AI.
615 24$aData Structures and Information Theory.
615 24$aControl Structures and Microprogramming.
615 24$aComputer System Implementation.
615 24$aProgramming Techniques.
676   $a005.1
700   $aBianculli$b Domenico$0856317
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996691679903316
996   $aSoftware Engineering and Formal Methods$94466398
997   $aUNISA