| 222 Formal Methods in Software Engineering | Jan 9 2002 | University of California, Irvine |
| 22c:181 - Formal Methods in Software Engineering | Jan 21 2003 | The University of Iowa |
| 2IW05 Software Specification | Sep 7 2009 | Eindhoven University of Technology |
| 5309V, 7009T2, 7009U2 (a portuguese course using Alloy for projects) | Sep 1 2002 | Universidade do Minho, Portugal |
| 6.170 Laboratory in Software Engineering | Sep 1 2004 | Massachusetts Institute of Technology |
| 6.894 Lightweight Formal Methods | May 15 2005 | Massachusetts Institute of Technology |
| 6.898 Advanced Topics in Software Design | Feb 1 2002 | Massachusetts Institute of Technology |
| C475 Software Engineering -- Environments | Sep 1 2002 | Imperial College London |
| CIS 771 - Software Specification | Jan 18 2002 | Kansas State University |
| CISC 422: Formal Methods in Software Engineering | Jan 7 2008 | Queen's University |
| Corso di Ingegneria del Software 1 | Sep 1 2003 | Politecnico di Milano (the Polytechnic University of Milan) |
| CS 525V : Introduction to Computer-Aided Verification | Aug 30 2008 | Worcester Polytechnic Institute |
| CS 525V : Introduction to Computer-Aided Verification | Jan 15 2002 | Worcester Polytechnic Institute |
| CS 599 Formal Methods in Software Architectures | Aug 31 2000 | University of Southern California |
| CS 643 Formal Verification of Software | Sep 1 2004 | Stevens Institute of Technology |
| CS4211 Advanced Software Engineering | Sep 1 2002 | National University of Singapore |
| CSE 503 Software Engineering | Jan 1 2004 | University of Washington |
| CSE814: Formal Methods in Software Development | Aug 28 2001 | Michigan State University |
| FMES -Formal Methods in Software Engineering | Jun 11 2008 | University of Minho |
| Formal Methods in Software Engineering | Apr 22 2009 | Universidade do Porto, Portugal |
| Formal Specification of Systems | Oct 1 2007 | University of York, York, England |
| GS03/4023 Validation and Verification | Jan 8 2007 | University College London |
| MN 5002: Mathematische Logik und formale Methoden | Jul 1 2009 | Fachhochschule Gießen-Friedberg University of Applied Sciences, Germany |
| Model Driven Software Engineering | Jan 15 2008 | The Academic College of Tel-Aviv - Yaffo |
| SOFTENG 461 - Special Topic in Software Engineering 1 | Mar 1 2004 | University of Auckland, New Zealand |
