Scholarlink

<p class="MsoNormal" style="margin-bottom: 0cm; line-height: normal;"><span lang="EN-US" style="font-size: 10.0pt; mso-ansi-language: EN-US;">This book constitutes the refereed proceedings of the 19th International Symposium on Theoretical Aspects of Software Engineering, TASE 2025, held in Limassol, Cyprus, during July 14–16, 2025.<br>The 20 full papers, 1 short paper, 2 invited papers were carefully selected from 66 submissions.<br></br></br></span><span lang="EN-US" style="font-size: 10.0pt; mso-ansi-language: EN-US;">The papers present</span><span lang="X-NONE" style="font-size: 10.0pt; mso-ansi-language: X-NONE;"> the latest developments in formal and theoretical software engineering methods and techniques.<br></br></span><span lang="EN-US" style="font-size: 10.0pt; mso-ansi-language: EN-US;">They are grouped in topical sections on p</span><span lang="X-NONE" style="font-size: 10.0pt; mso-ansi-language: X-NONE;">rogram verification; verification and concurrency; SAT and SMT solving; trustworthy AI and system software; program analysis using machine learning; security; and dynamic analysis.</span></p>

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

Theoretical Aspects of Software Engineering

  • 会议论文集

  • 发表日期：

    2026年

查看全文

摘要

This book constitutes the refereed proceedings of the 19th International Symposium on Theoretical Aspects of Software Engineering, TASE 2025, held in Limassol, Cyprus, during July 14–16, 2025.
The 20 full papers, 1 short paper, 2 invited papers were carefully selected from 66 submissions.


The papers present the latest developments in formal and theoretical software engineering methods and techniques.

They are grouped in topical sections on program verification; verification and concurrency; SAT and SMT solving; trustworthy AI and system software; program analysis using machine learning; security; and dynamic analysis.