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

Celý popis

Podrobná bibliografia

Vydané v:	2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) s. 01 - 13
Hlavní autori:	First, Emily, Brun, Yuriy
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	ACM 01.05.2022
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!