scientific article; zbMATH DE number 1497823

MaRDI QIDQ4499243zbMATH OpenFDO

Authors Roberta Gori, Paolo Volpe, Marco Comini, Giorgio Levi

Publication date 5 March 2001

zbMATH Keywords

verification of logic programs

Mathematics Subject Classification ID

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

Recommendations

• Abstract interpretation based verification of logic programs
• Assertion based inductive verification methods for logic programs
• Derivation of proof methods by abstract interpretation
• Static analysis, abstract interpretation and verification in (constraint logic) programming
• Abstract verification and debugging of constraint logic programs

Cited in

(28)

• Bottom-up abstract interpretation of logic programs
• Abstract interpretation based verification of logic programs
• Correctness kernels of abstract interpretations
• Automatic verification based on abstract interpretation
• On verification in logic database languages
• Verification of concrete programs with respect to abstract programs
• Lifting abstract interpreters to quantified logical domains
• scientific article; zbMATH DE number 4178750 (Why is no real title available?)
• scientific article; zbMATH DE number 4178791 (Why is no real title available?)
• Static analysis, abstract interpretation and verification in (constraint logic) programming
• Logical Interpretation: Static Program Analysis Using Theorem Proving
• scientific article; zbMATH DE number 3978439 (Why is no real title available?)
• scientific article; zbMATH DE number 3982508 (Why is no real title available?)
• Derivation of proof methods by abstract interpretation
• Abstract interpretation with a theorem prover
• Automatic verification by abstract interpretation
• Abstract verification and debugging of constraint logic programs
• Verification for ASP denotational semantics: a case study using the PVS theorem prover
• scientific article; zbMATH DE number 3995083 (Why is no real title available?)
• scientific article; zbMATH DE number 879006 (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
• Verifying Tight Logic Programs with anthem and vampire
• Static program analysis via 3-valued logic
• Verification from Declarative Specifications Using Logic Programming
• Static Analysis
• Programming Languages and Systems
• Abstract interpretation of recursive logic definitions for efficient runtime assertion checking

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