Do You Teach Formal Methods?

0) What software have you used in teaching formal methods?

1) How have you used the software in your teaching? In particular how have you:

a) taught its use as a tool for doing formal methods, or

b) used it as a tool for teaching/learning the concepts of FM?

2) At what levels have you used it? In particular have you used it on:

a) undergraduate courses, or

b) postgraduate courses?

3) What resources have you used in support? For example:

a) textbooks;

b) short courses;

c) on-line tutorials.