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
fields @attributes:
  recordID: 1
pdfLink:
plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=159802827&site=ehost-live
header:
  @attributes:
    shortDbName: hlh
    uiTerm: 159802827
    longDbName: Humanities International Complete
    uiTag: AN
  controlInfo:
    bkinfo:
    jinfo:
      jid:
        00010782
        ACM
      jtl: Communications of the ACM
      issn: 00010782
      maglogo: N
    pubinfo:
      dt: Nov2022
      vid: 65
      iid: 11
      pid: 68
      pub: Association for Computing Machinery
    artinfo:
      ui:
        159802827
        10.1145/3551665
      ppf: 52
      ppct: 2
      formats:
      tig:
        atl: Impactful Research and Tooling for Program Correctness.
      aug:
        au:
          DARKE, PRIYANKA
          METTA, RAVINDRA
          MEDICHERLA, RAVEENDRA KUMAR
          VENKATESH, R.
        affil:
          Senior scientist at TCS Research, TATA Consultancy Services Ltd., Pune, India.
          Principal scientist at TCS Research, TATA Consultancy Services Ltd., Pune, India.
          Chief scientist at TCS Research, TATA Consultancy Services Ltd., Pune, India.
      su:
        Computer software
        Computer software development
        Computer software developers
        Computer programming
        Computer programming management
        Computer security
      sug:
        subj:
          Computer software
          Computer software development
          Computer software developers
          Computer programming
          Computer programming management
          Computer security
      ab: 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.
      pubtype: Periodical
      doctype: Article
      src: R
    language: English
    refInfo:
    copyright:
      @attributes:
        flag: Y
      dt:
        @attributes:
          year: 2022
    holdings:
      @attributes:
        islocal: N