Symbolic method of verification of definite iterations over altered data structures
From MaRDI portal
Publication:2488048
DOI10.1007/s11086-005-0001-0zbMath1099.68026MaRDI QIDQ2488048
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
Related Items
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, Verification of finite iterations over collections of variable data structures
Cites Work