{log}: From a Constraint Logic Programming Language to a Formal Verification Tool

Maximiliano Cristiá, Alfredo Capozucca, Gianfranco Rossi

{log} (read 'setlog') was born as a Constraint Logic Programming (CLP) language where sets and binary relations are first-class citizens, thus fostering set programming. Internally…