scientific article; zbMATH DE number 1534590

MaRDI QIDQ4517376zbMATH OpenFDO

Authors V. A. Nepomniaschy

Publication date 21 November 2000

zbMATH Keywords

data structureparallel replacement operationverification method

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Symbolic verification method for definite iteration over data structures
• 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
• scientific article; zbMATH DE number 1822436

Cited in

(6)

• Symbolic verification method for definite iteration over data structures
• Verification of a finite 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
• Symbolic Verification Method for Definite Iterations over Tuples of Altered Data Structures and Its Application to Pointer Programs
• Verification of mutable linear data structures and iterator-based algorithms in Dafny

This page was built for publication:

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