figshare
Browse
VAJRA.zip (20.88 MB)

Verifying Array Manipulating Programs with Full-program Induction - Artifacts TACAS 2020

Download (20.88 MB)
software
posted on 2020-02-20, 05:10 authored by Supratik Chakraborty, Ashutosh Gupta, Divyesh UnadkatDivyesh Unadkat
The repository contains the code and benchmarks corresponding to the paper "Verifying Array Manipulating Programs with Full-program Induction". Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat. TACAS 2020.

The installation and usage details are given in the README.md file.

History

Usage metrics

    Categories

    Keywords

    Full-program InductionSoftware VerificationArray ProgramsSMTOpen SoftwareSoftware EngineeringComputer Software

    Licence

    MIT

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC