A shape graph logic and a shape system

DOI10.1007/s11390-013-1398-1zbMath1296.68100MaRDI QIDQ744329

Yu Zhang, Zhao-Peng Li, Yi-Yun Chen

Publication date: 7 October 2014

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11390-013-1398-1

zbMATH Keywords

automated theorem proving; shape analysis; program verification; loop invariant inference; shape graph logic

Mathematics Subject Classification ID

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

68P05: Data structures

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

Uses Software

• Isabelle
• Spec#
• z3
• ESC/Java
• Smallfoot
• jStar
• Ynot