\textsc{Diffy}: inductive reasoning of array programs using difference invariants

DOI10.1007/978-3-030-81688-9_42zbMath1493.68101arXiv2105.14748MaRDI QIDQ832320

Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat

Publication date: 25 March 2022

Full work available at URL: https://arxiv.org/abs/2105.14748

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Diffy

Uses Software

• FLATA
• z3
• FunArray
• CoVaC
• Booster