Formal methods play essential roles in education and training of software engineering. Besides the fact that formal methods themselves can be direct solutions to problems in development, many insights into modelling, specification, verification and validation can be provided. On the other hand, difficulties lie in delivering these direct or indirect values to the industry. This paper reports an...
