A new technique for verifying and correcting logic programs

DOI10.1023/A:1005878609884zbMath0884.68033MaRDI QIDQ1373300

Ricardo Caferra, Nicolas Peltier

Publication date: 18 November 1997

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

formal specificationsmodel-building method

Mathematics Subject Classification ID

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

Related Items (2)

Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview ⋮ Combining enumeration and deductive techniques in order to increase the class of constructible infinite models

This page was built for publication: A new technique for verifying and correcting logic programs