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
• scientific article; zbMATH DE number 1222416
• Static analysis, abstract interpretation and verification in (constraint logic) programming
• scientific article; zbMATH DE number 1975609

Cited in

(27)

• Computer Aided Verification
• Programming Languages and Systems
• Static analysis, abstract interpretation and verification in (constraint logic) programming
• Abstract interpretation based verification of logic programs
• scientific article; zbMATH DE number 3982508 (Why is no real title available?)
• Verification of concrete programs with respect to abstract programs
• Static Analysis
• Verification from Declarative Specifications Using Logic Programming
• Verifying Tight Logic Programs with anthem and vampire
• scientific article; zbMATH DE number 4178791 (Why is no real title available?)
• scientific article; zbMATH DE number 1696591 (Why is no real title available?)
• scientific article; zbMATH DE number 1953018 (Why is no real title available?)
• scientific article; zbMATH DE number 4178750 (Why is no real title available?)
• scientific article; zbMATH DE number 1949621 (Why is no real title available?)
• Logic programs as specifications in the inductive verification of logic programs
• Verification for ASP denotational semantics: a case study using the PVS theorem prover
• Lifting abstract interpreters to quantified logical domains
• Abstract interpretation of recursive logic definitions for efficient runtime assertion checking
• scientific article; zbMATH DE number 879006 (Why is no real title available?)
• Assertion based inductive verification methods for logic programs
• Correctness kernels of abstract interpretations
• Logical Interpretation: Static Program Analysis Using Theorem Proving
• scientific article; zbMATH DE number 3995083 (Why is no real title available?)
• scientific article; zbMATH DE number 1696847 (Why is no real title available?)
• Bottom-up abstract interpretation of logic programs
• scientific article; zbMATH DE number 3978439 (Why is no real title available?)
• scientific article; zbMATH DE number 1975609 (Why is no real title available?)

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)