Verifying Array Manipulating Programs by Tiling

DOI10.1007/978-3-319-66706-5_21zbMath1420.68066arXiv1707.03555OpenAlexW3101568729MaRDI QIDQ5233256

Ashutosh Gupta, Supratik Chakraborty, Divyesh Unadkat

Publication date: 16 September 2019

Published in: Static Analysis (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Verifying Array Manipulating Programs with Full-Program Induction ⋮ \textsc{Diffy}: inductive reasoning of array programs using difference invariants

This page was built for publication: Verifying Array Manipulating Programs by Tiling