paperbot · PL 论文追踪

全部论文 待读 收藏

P2 CoVeriTeam GUI: A No-Code Approach to Cooperative Software Verification

CoVeriTeam GUI：面向协作式软件验证的无代码方法
ASE Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering2024匹配度 2/10 · 该论文属于形式化验证/软件验证的工具与工作流组合，但未涉及 LLM/Agent、静态分析、浮点程序分析或贝叶斯程序分析，与用户当前关注的核心交叉方向不匹配。引用 0 inbox
Thomas Lemberger, Henrik Wachowitz
程序验证编程环境与开发者工具
crossref: 2026-09-12

AI 速览

一句话：提出无代码 Web 前端，让用户通过拖拽组合现有验证技术来构建并执行软件验证工作流。

软件验证已不再依赖单一技术，而是需要将多种互补的分析方法组合起来，但以往的组合方式依赖专有的胶水代码，实现与维护成本高昂。CoVeriTeam GUI 提出了一个无代码的 Web 前端，让用户无需编程即可在浏览器中以拖拽方式，利用多种组合算子将现有验证技术编排成新的验证工作流；系统还集成了远程服务，使用户能够一键执行所构建的工作流。该工具以开源方式发布（Apache 2.0），并提供公开代码仓库，便于复用与扩展。

问题
现代软件验证通常需要组合多种互补的分析技术，但这类组合过去依赖专有胶水代码，实现与维护成本很高。
方法
设计并实现无代码的 Web 前端，通过拖拽式的组合算子在浏览器中编排已有验证技术，并接入远程服务以一键执行所构建的工作流。
评估
以开源工具（Apache 2.0）形式发布，通过公开代码仓库展示其无代码组合与远程执行验证工作流的能力。
原文摘要（Abstract）

We present CoVeriTeam GUI, a No-Code web frontend to compose new software-verification workflows from existing analysis techniques. Verification approaches stopped relying on single techniques years ago, and instead combine selections that complement each other well. So far, such combinations were---under high implementation and maintenance cost---glued together with proprietary code. Now, CoVeriTeam GUI enables users to build new verification workflows without programming. Verification techniques can be combined through various composition operators in a drag-and-drop fashion directly in the browser, and an integration with a remote service allows to execute the built workflows with the click of a button. CoVeriTeam GUI is available open source under Apache 2.0: https://gitlab.com/sosy-lab/software/coveriteam-gui

链接与引用

DOI 原文 · PDF（开放获取） ·

BibTeX 
@inproceedings{paperbot8385,
  title = {CoVeriTeam GUI: A No-Code Approach to Cooperative Software Verification},
  author = {Thomas Lemberger and Henrik Wachowitz},
  booktitle = {ASE},
  year = {2024},
  doi = {10.1145/3691620.3695366}
}