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!

Be the first to leave a comment!