Diversity-Driven Automated Formal Verification

Detalles Bibliográficos

Publicado en:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings (2022)
Autor principal:	First, Emily
Otros Autores:	Brun, Yuriy
Publicado:	The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Materias:	Scripts Machine learning Verification Software engineering Theorem proving Synthesis Open source software Software development Existence theorems Optimization Economic
Acceso en línea:	Citation/Abstract
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!