scientific article; zbMATH DE number 4131671

MaRDI QIDQ3033332zbMATH OpenFDO

Authors

Publication date 1988

zbMATH Keywords

invariantsprogram schemesmethods of lower and upper approximation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of computing (68Q99)

Recommendations

• scientific article; zbMATH DE number 3934388
• Discovery of invariant equalities in programs over data fields
• Invariants and well-foundedness in program algebra
• The equivalence problem and correctness formulas for a simple class of programs
• scientific article; zbMATH DE number 3883587
• A case of insolubility of the problem of equivalence of programs
• Invariant inequalities in programs interpreted over an ordered field
• Generalizations of algorithms that find invariant relationships in programs over algebra of terms
• scientific article; zbMATH DE number 4094778

Cited in

(7)

• Invariant inequalities in programs interpreted over an ordered field
• scientific article; zbMATH DE number 139628 (Why is no real title available?)
• scientific article; zbMATH DE number 3883587 (Why is no real title available?)
• scientific article; zbMATH DE number 3934388 (Why is no real title available?)
• Algorithm to find invariant linear inequality constraints in programs
• Generalizations of algorithms that find invariant relationships in programs over algebra of terms
• Heuristic search for invariants for one class of programs. 6

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 Q3033332)