Impactful Research and Tooling for Program Correctness.

The article focuses on the development of the computer frameworks VeriAbs and VeriFuzz, which will help improve software quality. The authors discuss previous methods, such as bounded model checking (BMC), explain how VeriAbs will prove code correctness, and explain how VeriFuzz will automatically t...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 65; no. 11; pp. 52 - 54
Autores principales:	DARKE, PRIYANKA, METTA, RAVINDRA, MEDICHERLA, RAVEENDRA KUMAR, VENKATESH, R.
Formato:	Artículo
Publicado:	Association for Computing Machinery Nov2022
Materias:	Computer software Computer software development Computer software developers Computer programming Computer programming management Computer security
Acceso en línea:	Ver este registro en EBSCOhost