Conventional wisdom says that formal methods and game development don’t mix. However, we have found that the use of games in software engineering courses is an excellent motivator for students and an effective way to demonstrate and exercise formal software development techniques. We believe that more integration of formal methods and game development can be beneficial to both areas of study.

This site collects many of the resources we have developed and used over the last decade and a half while offering software engineering project courses with game development and formal methods components.