CHC-COMP 2023：竞争报告

Q4 Computer Science

Electronic Proceedings in Theoretical Computer Science Pub Date : 2024-04-22 DOI:10.4204/EPTCS.402.10

Emanuele DE ANGELIS, Hari Govind V K

{"title":"CHC-COMP 2023：竞争报告","authors":"Emanuele DE ANGELIS, Hari Govind V K","doi":"10.4204/EPTCS.402.10","DOIUrl":null,"url":null,"abstract":"CHC-COMP 2023 is the sixth edition of the Competition of Solvers for Constrained Horn Clauses. The competition was run in April 2023 and the results were presented at the 10th Workshop on Horn Clauses for Verification and Synthesis held in Paris, France, on April 23, 2023. This edition featured seven solvers (six competing and one hors concours) and six tracks, each of which dealing with a class of clauses. This report describes the organization of CHC-COMP 2023 and presents its results.","PeriodicalId":30085,"journal":{"name":"Electronic Proceedings in Theoretical Computer Science","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2024-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"CHC-COMP 2023: Competition Report\",\"authors\":\"Emanuele DE ANGELIS, Hari Govind V K\",\"doi\":\"10.4204/EPTCS.402.10\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"CHC-COMP 2023 is the sixth edition of the Competition of Solvers for Constrained Horn Clauses. The competition was run in April 2023 and the results were presented at the 10th Workshop on Horn Clauses for Verification and Synthesis held in Paris, France, on April 23, 2023. This edition featured seven solvers (six competing and one hors concours) and six tracks, each of which dealing with a class of clauses. This report describes the organization of CHC-COMP 2023 and presents its results.\",\"PeriodicalId\":30085,\"journal\":{\"name\":\"Electronic Proceedings in Theoretical Computer Science\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-04-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Electronic Proceedings in Theoretical Computer Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4204/EPTCS.402.10\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"Computer Science\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Electronic Proceedings in Theoretical Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4204/EPTCS.402.10","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"Computer Science","Score":null,"Total":0}

引用次数: 0

摘要

CHC-COMP 2023 是第六届约束角子句求解器竞赛。比赛于 2023 年 4 月举行，比赛结果于 2023 年 4 月 23 日在法国巴黎举行的第 10 届用于验证和合成的 Horn 子句研讨会上公布。这届竞赛有七个求解器（六个参赛求解器和一个非参赛求解器）和六个赛道，每个赛道处理一类条款。本报告介绍了 CHC-COMP 2023 的组织情况并展示了其成果。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

CHC-COMP 2023: Competition Report

CHC-COMP 2023 is the sixth edition of the Competition of Solvers for Constrained Horn Clauses. The competition was run in April 2023 and the results were presented at the 10th Workshop on Horn Clauses for Verification and Synthesis held in Paris, France, on April 23, 2023. This edition featured seven solvers (six competing and one hors concours) and six tracks, each of which dealing with a class of clauses. This report describes the organization of CHC-COMP 2023 and presents its results.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Electronic Proceedings in Theoretical Computer Science Computer Science-Software

CiteScore

1.10

自引率

0.00%

发文量

295

审稿时长

21 weeks