scientific article; zbMATH DE number 1956491

MaRDI QIDQ4417835zbMATH OpenFDO

Authors Marcin Kubica

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2621/26210231.htm

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Automatically verifying temporal properties of pointer programs with cyclic proof
• Pointer logic for verification of pointer programs
• scientific article; zbMATH DE number 4035111
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• scientific article; zbMATH DE number 4028879

Cited in

(8)

• A local-time-induced unique pointer basis
• Towards pointer algebra
• Calculating with pointers
• Automatically verifying temporal properties of pointer programs with cyclic proof
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Compositional Reasoning for Pointer Structures
• Computer Aided Verification
• A Logic-Based Framework for Reasoning about Composite Data Structures

This page was built for publication:

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