Diversity-Driven Automated Formal Verification

Formally verified correctness is one of the most desirable properties of software systems. But despite great progress made via interactive theorem provers, such as Coq, writing proof scripts for verification remains one of the most effort-intensive (and often prohibitively difficult) software develo...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) S. 01 - 13
Hauptverfasser:	First, Emily, Brun, Yuriy
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	ACM 01.05.2022
Schlagworte:	Aerospace electronics Automated formal verification Cognition Coq interactive proof assistants language models Machine learning Optimization Process control proof synthesis Software systems Writing
ISSN:	1558-1225
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!