Verification of a finite iteration over data structures
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1534590
- scientific article; zbMATH DE number 1822436
- Symbolic verification method for definite iteration over data structures
- Symbolic method of verification of definite iterations over altered data structures
- Verification of finite iterations over collections of variable data structures
Cites work
- A note on the for statement
- An axiomatic basis for computer programming
- Generalizing specifications for uniformly implemented loops
- scientific article; zbMATH DE number 3833275 (Why is no real title available?)
- Problem-oriented knowledge bases and their application in the program verification system SPEKTR
- Some ideas on data types in high-level languages
- Verification of file manipulation programs in the language PASCAL
- Verification of linear algebra programs in the SPEKTR system
Cited in
(7)- Symbolic verification method for definite iteration over data structures
- Verification of finite iterations over tuples of data structures
- Verification of finite iterations over collections of variable data structures
- scientific article; zbMATH DE number 1822436 (Why is no real title available?)
- scientific article; zbMATH DE number 1534590 (Why is no real title available?)
- PROVING PRODUCTIVITY IN INFINITE DATA STRUCTURES
- Verification of mutable linear data structures and iterator-based algorithms in Dafny
This page was built for publication: Verification of a finite iteration over data structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1974308)
