Scholarlink

<p>The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024.&#xa0;</p><p>The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows:</p><p>Part I: Invited papers; fundamentals of formal verification;&#xa0; foundations; learn and repair; programming languages.- logic and automata;&#xa0;</p><p>Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers.&#xa0;</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Formal Methods

  • 会议论文集

  • 出版模式：

    开放获取

  • 发表日期：

    2025年

查看全文

摘要

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. 

The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows:

Part I: Invited papers; fundamentals of formal verification;  foundations; learn and repair; programming languages.- logic and automata; 

Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers.