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á bibliografie

Vydáno v:	IEEE/ACM International Conference on Automated Software Engineering : [proceedings] s. 2419 - 2422
Hlavní autoři:	Lemberger, Thomas, Wachowitz, Henrik
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 27.10.2024
Témata:	Browsers Codes cooperative verification formal methods Graphical user interfaces gui Licenses Maintenance no-code Programming Software Software engineering
ISSN:	2643-1572
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!