scientific article; zbMATH DE number 3911682

zbMATH Open0571.68007MaRDI QIDQ3687686FDOQ3687686

Authors: M. S. Lvov 

Publication date: 1984

Title of this publication is not available (Why is that?)

Recommendations

• Publication:4729341
• Polynomial invariants generation of programs
• Discovery of invariant equalities in programs over data fields
• Invariant inequalities in programs interpreted over an ordered field
• Polynomial Invariants for Affine Programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (5)

• Invariant inequalities in programs interpreted over an ordered field
• Title not available (Why is that?)
• Algebraic independence over positive characteristic: new criterion and applications to locally low-algebraic-rank circuits
• Discovery of invariant equalities in programs over data fields
• Calculating Invariants as Coreflexive Bisimulations

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