An algorithm for finding invariant relations in programs

DOI10.1007/BF01068775MaRDI QIDQ3942372zbMATH OpenFDO

Authors S. L. Krivoj

Publication date 1981

Published in Cybernetics (Search for Journal in Brave)

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

zbMATH Keywords

data algebrasinductive assertionsloop invariantsprogram analysisprogram verificationtime complexity

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• scientific article; zbMATH DE number 3511563 (Why is no real title available?)
• scientific article; zbMATH DE number 3198815 (Why is no real title available?)
• Logical analysis of programs

Cited in

(1)

• Program verification: state of the art, problems, and results. I

This page was built for publication: An algorithm for finding invariant relations in programs

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