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

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-u...

Full description

Saved in:
Bibliographic Details
Published in:IEEE/ACM International Conference on Automated Software Engineering : [proceedings] pp. 2419 - 2422
Main Authors: Lemberger, Thomas, Wachowitz, Henrik
Format: Conference Proceeding
Language:English
Published: ACM 27.10.2024
Subjects:
Browsers
Codes
cooperative verification
formal methods
Graphical user interfaces
gui
Licenses
Maintenance
no-code
Programming
Software
Software engineering
ISSN:2643-1572
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 Demonstration video: https://youtu.be/oZoOARuIOuA
ISSN:2643-1572
DOI:10.1145/3691620.3695366