Program security verification based on abstract invariants

DOI10.16511/J.CNKI.QHDXXB.2016.21.036MaRDI QIDQ2987193zbMATH OpenOpenAlexWikidataFDO

Authors Yan Zhang, Junyan Qian, Zhoujun Li, Dianfu Ma

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)

Recommendations

• scientific article; zbMATH DE number 1953018
• Formal Methods at the Crossroads. From Panacea to Foundational Support
• Predicate abstraction for program verification
• Invariants synthesis over a combined domain for automated program verification
• Loop summarization using state and transition invariants

Cited in

(1)

• scientific article; zbMATH DE number 2104621 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2987193)