<div dir="ltr">Hi Tzafrir,<br><br>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.<br><br>Yossi<br>
<br></div>