Symbolic method of verification of definite iterations over altered data structures

DOI10.1007/S11086-005-0001-0MaRDI QIDQ2488048zbMATH OpenOpenAlexFDO

Authors V. A. Nepomniaschy

Publication date 23 August 2005

Published in Programming and Computer Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11086-005-0001-0

zbMATH Keywords

symbolic verification method

Mathematics Subject Classification ID

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

Recommendations

• Symbolic verification method for definite iterations over tuples of altered data structures
• Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs
• Symbolic verification method for definite iteration over data structures
• scientific article; zbMATH DE number 1534590
• scientific article; zbMATH DE number 1822436

Cites work

• An axiomatic basis for computer programming
• Verification of Array, Record, and Pointer Operations in Pascal

Cited in

(7)

• Logic for reasoning about bugs in loops over data sequences (IFIL)
• Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs
• scientific article; zbMATH DE number 1822436 (Why is no real title available?)
• Verification of finite iterations over collections of variable data structures
• Symbolic verification method for definite iterations over tuples of altered data structures
• Symbolic verification method for definite iteration over data structures
• scientific article; zbMATH DE number 1534590 (Why is no real title available?)

This page was built for publication: Symbolic method of verification of definite iterations over altered data structures

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