scientific article; zbMATH DE number 1497823

zbMATH Open0966.68034MaRDI QIDQ4499243FDOQ4499243

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

Publication date: 5 March 2001

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

verification of logic programs

Mathematics Subject Classification ID

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

Cited In (25)

• Computer Aided Verification
• Programming Languages and Systems
• Static analysis, abstract interpretation and verification in (constraint logic) programming
• Abstract interpretation based verification of logic programs
• Title not available (Why is that?)
• Static Analysis
• Verification from Declarative Specifications Using Logic Programming
• Verifying Tight Logic Programs with anthem and vampire
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logic programs as specifications in the inductive verification of logic programs
• Lifting abstract interpreters to quantified logical domains
• Abstract interpretation of recursive logic definitions for efficient runtime assertion checking
• Title not available (Why is that?)
• Assertion based inductive verification methods for logic programs
• Correctness kernels of abstract interpretations
• Logical Interpretation: Static Program Analysis Using Theorem Proving
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Bottom-up abstract interpretation of logic programs

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)