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

Full description

Bibliographic Details

Published in:	2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) pp. 01 - 13
Main Authors:	First, Emily, Brun, Yuriy
Format:	Conference Proceeding
Language:	English
Published:	ACM 01.05.2022
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!