Verification of logic programs

DOI10.1016/S0743-1066(98)10035-3zbMath0947.68026MaRDI QIDQ4700388

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

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

Related Items (3)

Weakest preconditions for pure Prolog programs ⋮ On Correctness and Completeness of an n Queens Program ⋮ Logic + control: On program construction and verification

This page was built for publication: Verification of logic programs