Publication:4640971

DOI10.13328/j.cnki.jos.005272zbMath1399.68031MaRDI QIDQ4640971

Zhong Ming, Shengchao Qin, Zhiwu Xu

Publication date: 25 May 2018

zbMATH Keywords

program analysis; separation logic; program verification; memory safety; functional correctness

Mathematics Subject Classification ID

03B70: Logic in computer science

68Q60: Specification and verification (program logics, model checking, etc.)

68-02: Research exposition (monographs, survey articles) pertaining to computer science

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