Scholarlink

The 11th VerifyThis program verification competition took place on April 22, 2023, at ETAPS 2023 in Paris, France. Contestants were tasked with solving three verification challenges in real time, using any tools of their choice. The subjects of the challenges were (1) in-place reversal of a linked list, (2) ordered binary decision diagrams, and (3) a concurrent FIFO queue. Fifteen teams, each with 1 or 2 members, participated; all were required to be present on site. In this report, we summarize the three challenges and some of the notable solutions.

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

VerifyThis 2023: An International Program Verification Competition

  • 会议论文

  • 发表日期：

    2025年

查看全文
  • Xavier Denis,
  • Stephen F. Siegel

摘要

The 11th VerifyThis program verification competition took place on April 22, 2023, at ETAPS 2023 in Paris, France. Contestants were tasked with solving three verification challenges in real time, using any tools of their choice. The subjects of the challenges were (1) in-place reversal of a linked list, (2) ordered binary decision diagrams, and (3) a concurrent FIFO queue. Fifteen teams, each with 1 or 2 members, participated; all were required to be present on site. In this report, we summarize the three challenges and some of the notable solutions.