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

Vydáno v:	2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) s. 01 - 13
Hlavní autoři:	First, Emily, Brun, Yuriy
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 01.05.2022
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!