Program security verification based on abstract invariants

DOI10.16511/J.CNKI.QHDXXB.2016.21.036zbMath1374.68119OpenAlexW2594013111WikidataQ118385566 ScholiaQ118385566MaRDI QIDQ2987193

Zhou-Jun Li, Yan Zhang, Dianfu Ma, Junyan Qian

Publication date: 17 May 2017

Full work available at URL: http://jst.tsinghuajournals.com/EN/10.16511/j.cnki.qhdxxb.2016.21.036

zbMATH Keywords

fixed pointabstraction interpretationinvariant verificationprogram security verification

Mathematics Subject Classification ID

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

This page was built for publication: Program security verification based on abstract invariants