Algorithm to find invariant linear inequality constraints in programs

DOI10.1007/BF01069418MaRDI QIDQ3741026zbMATH OpenFDO

Authors S. G. Raksha

Publication date 1985

Published in Cybernetics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01069418

zbMATH Keywords

program analysis and optimizationprogram invariants

Mathematics Subject Classification ID

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

Recommendations

• Search for invariant linear relationships in programs
• Incremental Linear Constraint Solving and Detection of Implicit Equalities
• scientific article; zbMATH DE number 4081314
• Invex programming problems with equality and inequality constraints
• Generalizations of algorithms that find invariant relationships in programs over algebra of terms
• Computer Aided Verification
• scientific article; zbMATH DE number 4131671
• scientific article; zbMATH DE number 3987051
• Program equivalence in linear contexts

Cited in

(4)

• Search for invariant linear relationships in programs
• Discovering invariants via simple component analysis
• Finding Relations Among Linear Constraints
• Computer Aided Verification

This page was built for publication: Algorithm to find invariant linear inequality constraints in programs

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