Abstraction of Arrays Based on Non Contiguous Partitions

DOI10.1007/978-3-662-46081-8_16zbMath1432.68075OpenAlexW84399048MaRDI QIDQ5172648

Xavier Rival, Jiangchao Liu

Publication date: 4 February 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46081-8_16

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 (3)

Verifying Array Manipulating Programs with Full-Program Induction ⋮ \textsc{Diffy}: inductive reasoning of array programs using difference invariants ⋮ An array content static analysis based on non-contiguous partitions

This page was built for publication: Abstraction of Arrays Based on Non Contiguous Partitions