Assertion based Inductive Verification Methods for Logic Programs

DOI10.1016/S1571-0661(05)80036-2zbMath1264.68110OpenAlexW2026039894MaRDI QIDQ4923368

Roberta Gori, Giorgio Levi, Marco Comini

Publication date: 6 June 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(05)80036-2

zbMATH Keywords

abstract interpretationassertion languageinductive verificationtransformation of logic programs

Mathematics Subject Classification ID

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

Related Items (1)

An integrated framework for the diagnosis and correction of rule-based programs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof methods of declarative properties of definite programs
• Prime factorizations of abstract domains using first-order logic
• Error diagnosis in logic programming an adaptation of E.Y. Shapiro's method
• Abstract diagnosis
• Synthesis and transformation of logic programs using unfold/fold proofs

This page was built for publication: Assertion based Inductive Verification Methods for Logic Programs