Verification of logic programs

DOI10.1016/S0743-1066(98)10035-3MaRDI QIDQ4700388zbMATH OpenFDO

Authors Dino Pedreschi, Salvatore Ruggieri

Publication date 1 November 1999

Published in The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

Prolog programs

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 868104
• Logic programs as specifications in the inductive verification of logic programs
• Proof methods of declarative properties of definite programs
• Inductive assertion method for logic pograms

Cited in

(28)

• Verifying termination and error-freedom of logic programs with block declarations
• Verification from Declarative Specifications Using Logic Programming
• Verifying Tight Logic Programs with anthem and vampire
• Proof checking and logic programming
• Modules and specifications
• scientific article; zbMATH DE number 1538039 (Why is no real title available?)
• Weakest preconditions for pure Prolog programs
• Verification logic
• scientific article; zbMATH DE number 1867306 (Why is no real title available?)
• Logic programs as specifications in the inductive verification of logic programs
• Batch ZK Proof and Verification of OR Logic
• On Correctness and Completeness of an n Queens Program
• Program Verification with Separation Logic
• Logic Programming
• scientific article; zbMATH DE number 4037276 (Why is no real title available?)
• Verification for everyone? An overview of dynamic logic
• Logic + control: on program construction and verification
• scientific article; zbMATH DE number 4088902 (Why is no real title available?)
• scientific article; zbMATH DE number 6863635 (Why is no real title available?)
• Logics and automata for verification: Expressiveness and decidability issues
• Representational reasoning and verification
• Correct reasoning about logic programs
• One logic to use them all
• scientific article; zbMATH DE number 1617312 (Why is no real title available?)
• Verification of logic programs with delay declarations
• scientific article; zbMATH DE number 1696847 (Why is no real title available?)
• scientific article; zbMATH DE number 5850099 (Why is no real title available?)
• scientific article; zbMATH DE number 3956408 (Why is no real title available?)

This page was built for publication: Verification of logic programs

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