Specialized Education in Software Model Checking
Cyrille Artho, Kenji Taguchi, Yasuyuki Tahara, Shinichi Honiden, Yoshinori Tanabe.
Formal Methods in Computer Science Education (FORMED2008), March 2008.
The use of formal methods has become commonplace in hardware design,
and is becoming increasingly widespread in software engineering. While
formal methods have repeatedly been applied in safety-critical
projects, their technologies and tools are not widely known, due to
lack of in-depth education in current curricula. In this paper, we
introduce the curriculum design of software model checking, which is
part of a larger education program that addresses several issues in
software engineering and formal methods in general. We will also touch
upon the necessity of a formal methods body of knowledge (FMBOK) for
the guidance of formal methods education.