Verification of finite iterations over collections of variable data structures
From MaRDI portal
Publication:2467973
DOI10.1007/S10559-007-0055-5zbMATH Open1130.68074OpenAlexW2034886342MaRDI QIDQ2467973FDOQ2467973
Authors: 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
Recommendations
- Symbolic method of verification of definite iterations over altered data structures
- Verification of a finite iteration over data structures
- Synthesis of the programmed functions offor loops on 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 iterations over tuples of altered data structures
Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Title not available (Why is that?)
- An axiomatic basis for computer programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Verification of Array, Record, and Pointer Operations in Pascal
- Symbolic verification method for definite iteration over data structures
- Symbolic method of verification of definite iterations over altered data structures
- Title not available (Why is that?)
Cited In (3)
This page was built for publication: Verification of finite iterations over collections of variable data structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2467973)
