Automated Verification of Behavioural Properties of Prolog Programs.

Baudouin Le Charlier Christophe Leclère Sabina Rossi Agostino Cortesi

Published in: ASIAN (1997)

Keyphrases

prolog programs
automated verification
model checking
logic programs
formal verification
general purpose
structural properties
desirable properties
automated reasoning