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

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEEE/ACM International Conference on Automated Software Engineering : [proceedings] S. 2419 - 2422
Hauptverfasser:	Lemberger, Thomas, Wachowitz, Henrik
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	ACM 27.10.2024
Schlagworte:	Browsers Codes cooperative verification formal methods Graphical user interfaces gui Licenses Maintenance no-code Programming Software Software engineering
ISSN:	2643-1572
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!