Back to Search
Start Over
Impactful Research and Tooling for Program Correctness.
- Source :
-
Communications of the ACM . Nov2022, Vol. 65 Issue 11, p52-53. 2p. 2 Diagrams. - Publication Year :
- 2022
-
Abstract
- 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.
Details
- Language :
- English
- ISSN :
- 00010782
- Volume :
- 65
- Issue :
- 11
- Database :
- Academic Search Index
- Journal :
- Communications of the ACM
- Publication Type :
- Periodical
- Accession number :
- 159802827
- Full Text :
- https://doi.org/10.1145/3551665