Do You Teach Formal Methods (FM)?

Have you used FM in teaching Computer Science or Software Engineering?

If the answer is YES, please take a little time to tell us some details:

What were the course(s)?

· What was the type and level of the course(s)?

· What was the prerequisite knowledge in mathematics?

· What type FM was used?

What resources were used?

· What software was used in teaching formal methods?

· What other resources (e.g. books, web base materials) were used?

What were your experiences?

· How successful was the course(s)?

· How effective and useful were the resources?

· What kind of resource support could improve your experiences?

· What would you like to see in a software tool to be used for teaching FM?

Many Thanks for your time and help.

Members of the Working Group on

“Support for Teaching and Learning Formal Methods”