Affine Loop Invariant Generation via Matrix Algebra

DOI10.1007/978-3-031-13185-1_13zbMath1514.68036MaRDI QIDQ6487319

Yucheng Ji, Haibo Chen, Hongfei Fu, Bin Fang

Publication date: 7 December 2022

Mathematics Subject Classification ID

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

This page was built for publication: Affine Loop Invariant Generation via Matrix Algebra