Cover Image
QR Code

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

Full description

Published in:Communications of the ACM Vol. 65; no. 11; pp. 52 - 54
Main Authors: DARKE, PRIYANKA, METTA, RAVINDRA, MEDICHERLA, RAVEENDRA KUMAR, VENKATESH, R.
Format: Article
Published: Association for Computing Machinery Nov2022
Subjects:
Computer software
Computer software development
Computer software developers
Computer programming
Computer programming management
Computer security
Online Access:View this record in EBSCOhost
Summary: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 test for errors.