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

Goblint Validator: Correctness Witness Validation by Abstract Interpretation

  • 会议论文

  • 出版模式：

    开放获取

  • 发表日期：

    2024年

查看全文
  • Simmo Saan,
  • Julian Erhard,
  • Michael Schwarz,
  • Stanimir Bozhilov,
  • Karoliine Holter,
  • Sarah Tilscher,
  • Vesal Vojdani,
  • Helmut Seidl

摘要

Goblint is an abstract interpretation framework for C programs with a specialty in concurrency. Using a novel approach, we turn it into a validator of YAML correctness witnesses for all SV-COMP categories. We describe its results at SV-COMP 2024 which includes the first large-scale evaluation of our validator.