Software Engineering and Formal Methods : 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings (Lecture Notes in Computer Science)

個数:
  • 予約

Software Engineering and Formal Methods : 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings (Lecture Notes in Computer Science)

  • 現在予約受付中です。出版後の入荷・発送となります。
    重要:表示されている発売日は予定となり、発売が延期、中止、生産限定品で商品確保ができないなどの理由により、ご注文をお取消しさせていただく場合がございます。予めご了承ください。

    ●3Dセキュア導入とクレジットカードによるお支払いについて
  • 【入荷遅延について】
    世界情勢の影響により、海外からお取り寄せとなる洋書・洋古書の入荷が、表示している標準的な納期よりも遅延する場合がございます。
    おそれいりますが、あらかじめご了承くださいますようお願い申し上げます。
  • ◆画像の表紙や帯等は実物とは異なる場合があります。
  • ◆ウェブストアでの洋書販売価格は、弊社店舗等での販売価格とは異なります。
    また、洋書販売価格は、ご注文確定時点での日本円価格となります。
    ご注文確定後に、同じ洋書の販売価格が変動しても、それは反映されません。
  • 製本 Paperback:紙装版/ペーパーバック版/ページ数 261 p.
  • 言語 ENG
  • 商品コード 9783032104434

Full Description

This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, in Toledo, Spain, during 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; 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.

最近チェックした商品