Symbolic verification method for definite iterations over tuples of altered data structures

MaRDI QIDQ2880591zbMATH OpenFDO

Authors V. A. Nepomniaschy

Publication date 13 April 2012

Published in Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science (Search for Journal in Brave)

zbMATH Keywords

hierarchical data structurespecification meanunaltered data structure

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 and Its Application to Pointer Programs
• Symbolic method of verification of definite iterations over altered data structures
• scientific article; zbMATH DE number 1822436
• Symbolic verification method for definite iteration over data structures
• Verification of finite iterations over collections of variable data structures

Cited in

(5)

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

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

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