Formal Methods Wiki

FMBoK is an initiative dedicated to the discussion on a Body of Knowledge (BoK) on formal methods. This is an activity within FME-SoE.

For those not familiar with a body of knowledge, a good starting point is to learn about SWEBOK (Software Engineering Body of Knowledge) standardized by IEEE Computer Society and the Association for Computing Machinery (ACM).[1]

Brief history[]

Kenji Taguchi (National Institute of Advanced Industrial Science and Technology — AIST, Japan) and Jose Oliveira (University of Minho, Portugal) organized a panel at the TFM (Teaching Formal Methods) conference in Eindhoven in 2009[2] to discuss a BoK for formal methods, and the issues surrounding it. The session was chaired by Mike Hinchey (Lero, University of Limerick) and panelists were Jose Oliveira, Kenji Taguchi, Peter Larsen, and Randolf Jonson. Historically, this followed a similar initiative at FMET (Formal Methods Education and Training) workshop held in 2008[3][4] in conjunction with ICFEM 2008. The panel discussion was organized, which was chaired by Jeremy Gibbons (University of Oxford), and the panelists were Mike Hinchey (Lero, University of Limerick), Kenji Taguchi (then NII), and Toshiaki Aoki (JAIST). Prior to that, a survey was carried out by FME-SOE on formal methods courses in undergraduate degrees, and José Nuno Oliveira published a paper on formal methods courses in European higher education at TFM 04.[5]


  1. SWEBOK website:
  2. Jeremy Gibbons and José Nuno Oliveira: Teaching Formal Methods, Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2–6, 2009. Proceedings. Springer-Verlag, 2009
  3. FMET 2008 website:
  4. aJim Davies, Jeremy Gibbons, Mike Hinchey,nd Kenji Taguchi: Formal Methods Education and Training, First International workshop, FMET 2008, Kitakyushu, Japan, October 28, 2008, Technical Report GRACE-TR-2008-03, GRACE Center, National Institute of Informatics.
  5. José Nuno Oliveira: A Survey of Formal Methods Courses in European Higher Education. TFM 2004: 235–248

External links[]