PRoofster: Automated Formal Verification

Formal verification is an effective but extremely work-intensive method of improving software quality. Verifying the correctness of software systems often requires significantly more effort than implementing them in the first place, despite the existence of proof assistants, such as Coq, aiding the...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) S. 26 - 30
Hauptverfasser:	Agrawal, Arpan, First, Emily, Kaufman, Zhanna, Reichel, Tom, Zhang, Shizhuo, Zhou, Timothy, Sanchez-Stern, Alex, Ringer, Talia, Brun, Yuriy
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.05.2023
Schlagworte:	Automated proof synthesis Coq Formal verification Proofster Software quality Software systems
ISSN:	2574-1934
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!