Abstract interpretation based verification of logic programs

DOI10.1016/J.SCICO.2003.08.002MaRDI QIDQ1887175zbMATH OpenOpenAlexFDO

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

Publication date 23 November 2004

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://www.openaccessrepository.it/record/41652

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1497823
• 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

(25)

• Verification for ASP denotational semantics: a case study using the PVS theorem prover
• Correctness kernels of abstract interpretations
• scientific article; zbMATH DE number 879006 (Why is no real title available?)
• Verification of concrete programs with respect to abstract programs
• scientific article; zbMATH DE number 1975609 (Why is no real title available?)
• Internal and External Logics of Abstract Interpretations
• Abstract Diagnosis of First Order Functional Logic Programs
• Bottom-up abstract interpretation of logic programs
• Abstraction-carrying code: a model for mobile code safety
• scientific article; zbMATH DE number 1696591 (Why is no real title available?)
• Assertion based inductive verification methods for logic programs
• Logic Programming
• Lifting abstract interpreters to quantified logical domains
• Verifying Tight Logic Programs with anthem and vampire
• scientific article; zbMATH DE number 4178750 (Why is no real title available?)
• scientific article; zbMATH DE number 1696847 (Why is no real title available?)
• How to transform an analyzer into a verifier
• Programming Languages and Systems
• Static analysis, abstract interpretation and verification in (constraint logic) programming
• scientific article; zbMATH DE number 1949621 (Why is no real title available?)
• Logic programs as specifications in the inductive verification of logic programs
• Abstract interpretation as automated deduction
• Abstract interpretation of recursive logic definitions for efficient runtime assertion checking
• Verification from Declarative Specifications Using Logic Programming
• scientific article; zbMATH DE number 3978439 (Why is no real title available?)

This page was built for publication: Abstract interpretation based verification of logic programs

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