Verification of finite iterations over collections of variable data structures

DOI10.1007/s10559-007-0055-5zbMath1130.68074OpenAlexW2034886342MaRDI QIDQ2467973

V. A. Nepomnyashchij

Publication date: 30 January 2008

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10559-007-0055-5

zbMATH Keywords

data structurefinite iterationssymbolic verification methodpointer program

Mathematics Subject Classification ID

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

Cites Work

• Symbolic verification method for definite iteration over data structures
• Symbolic method of verification of definite iterations over altered data structures
• Verification of Array, Record, and Pointer Operations in Pascal
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Verification of finite iterations over collections of variable data structures