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

Celý popis

Podrobná bibliografia

Vydané v:	IEEE/ACM International Conference on Automated Software Engineering : [proceedings] s. 2419 - 2422
Hlavní autori:	Lemberger, Thomas, Wachowitz, Henrik
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	ACM 27.10.2024
Predmet:	Browsers Codes cooperative verification formal methods Graphical user interfaces gui Licenses Maintenance no-code Programming Software Software engineering
ISSN:	2643-1572
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!