Derivation of proof methods by abstract interpretation

DOI10.1007/BFB0056610MaRDI QIDQ4217939zbMATH OpenFDO

Authors Paolo Volpe, Giorgio Levi

Publication date 11 November 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

abstract interpretationinductive methods

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Assertion based inductive verification methods for logic programs
• Abstract interpretation based verification of logic programs
• scientific article; zbMATH DE number 1497823
• Verification of logic programs
• scientific article; zbMATH DE number 4178750

Cited in

(7)

• A theory of observables for logic programs
• Abstract interpretation based verification of logic programs
• On the verification of finite failure
• scientific article; zbMATH DE number 1497823 (Why is no real title available?)
• Assertion based inductive verification methods for logic programs
• Logic programs as specifications in the inductive verification of logic programs
• Abstracting induction by extrapolation and interpolation

This page was built for publication: Derivation of proof methods by abstract interpretation

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