Diffy: Inductive Reasoning of Array Programs using Difference Invariants

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

Keywords

Software Verification, Program Analysis, Software Bugs, Program Invariants Array Programs Inductive Reasoning Hoare Triple Difference Invariants Preconditions Postconditions Quantified Formulas SMT Open Software Software Engineering Computer Software Programming Languages

Licence

MIT

Diffy: Inductive Reasoning of Array Programs using Difference Invariants

History

Usage metrics

Categories

Keywords

Licence

Exports