Automated verification of Prolog programs

DOI10.1016/S0743-1066(98)10032-8zbMath0947.68023MaRDI QIDQ4700385

Sabina Rossi, Christophe Leclère, Baudouin Le Charlier, Agostino Cortesi

Publication date: 1 November 1999

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

zbMATH Keywords

Prolog

Mathematics Subject Classification ID

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

This page was built for publication: Automated verification of Prolog programs