Symbolic method of verification of definite iterations over altered data structures

DOI10.1007/S11086-005-0001-0zbMATH Open1099.68026OpenAlexW4251606365MaRDI QIDQ2488048FDOQ2488048

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

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

zbMATH Keywords

symbolic verification method

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (7)

• Symbolic verification method for definite iterations over tuples of altered data structures
• Symbolic verification method for definite iteration over data structures
• Verification of finite iterations over collections of variable data structures
• Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs
• Title not available (Why is that?)
• Logic for reasoning about bugs in loops over data sequences (IFIL)
• Title not available (Why is that?)

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)