Hi Tzafrir, I am not sure which ML and which Prolog are used. Also, I do not know which tools are used in verification. I believe Rational Rose / Rhapsody are used for some of the courses. Yossi -------------- next part -------------- An HTML attachment was scrubbed... URL: http://haifux.org/pipermail/haifux/attachments/20090127/0d7a3726/attachment.html