figshare
Browse
diffy-artifact.tar.gz (31.67 MB)

Diffy: Inductive Reasoning of Array Programs using Difference Invariants

Download (31.67 MB)
software
posted on 2021-04-29, 09:30 authored by Supratik Chakraborty, Ashutosh Gupta, Divyesh UnadkatDivyesh Unadkat
The repository contains the artifact corresponding to the paper "Diffy: Inductive Reasoning of Array Programs using Difference Invariants". Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat. CAV 2021.

Please see the README.md file for installation and usage instructions.

History

Usage metrics

    Categories

    Keywords

    Software Verification, Program Analysis, Software Bugs, Program InvariantsArray ProgramsInductive ReasoningHoare TripleDifference InvariantsPreconditionsPostconditionsQuantified FormulasSMTOpen SoftwareSoftware EngineeringComputer SoftwareProgramming Languages

    Licence

    MIT

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC