Scholarlink

<p>Given the increasing complexity and expanding frontiers of software systems during the last century, verification has become essential to ensuring reliability, security, and trustworthiness. The goal of the <i>Challenges of Software Verification Symposium</i> (CSV) is to monitor the state-of-the-art in this field, exploring challenges to this scientific discipline. This special issue of Software Tools for Technology Transfer presents novel theoretical directions and practical applications of these techniques. The papers in this special issue are extended versions of selected symposium contributions from the proceedings of the 4th Challenges of Software Verification Symposium, which took place at the Ca’ Foscari University of Venice, Venice, Italy, from June 5th and 6th, 2025.</p>

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

Challenges of Software Verification (CSV’25)

  • 期刊论文

  • 发表日期：

    2026年5月18日

查看全文
  • Luca Olivieri,
  • Vincenzo Arceri,
  • Luca Negrini,
  • Gianluca Caiazza

摘要

Given the increasing complexity and expanding frontiers of software systems during the last century, verification has become essential to ensuring reliability, security, and trustworthiness. The goal of the Challenges of Software Verification Symposium (CSV) is to monitor the state-of-the-art in this field, exploring challenges to this scientific discipline. This special issue of Software Tools for Technology Transfer presents novel theoretical directions and practical applications of these techniques. The papers in this special issue are extended versions of selected symposium contributions from the proceedings of the 4th Challenges of Software Verification Symposium, which took place at the Ca’ Foscari University of Venice, Venice, Italy, from June 5th and 6th, 2025.