Login / Signup
Automated Behavioural Verification of Prolog Programs.
Baudouin Le Charlier
Christophe Leclère
Sabina Rossi
Agostino Cortesi
Published in:
APPIA-GULP-PRODE (1997)
Keyphrases
</>
prolog programs
logic programs
semi automated
model checking
data driven
logic programming
orders of magnitude
semi automatic
data sets
automated analysis
functional verification