Secret Ninja Formal Methods

by Joseph Kiniry and Daniel Zimmerman, 2008

Link to article: SecretNinjaFormalMethods-Kiniry.pdf


The use of formal methods can significantly improve software quality. However, many instructors and students consider formal meth- ods to be too difficult, impractical, and esoteric for use in undergraduate classes. This paper describes a method, used successfully at several uni- versities, that combines ninja stealth with the latest advances in formal methods tools and technologies to integrate applied formal methods into software engineering courses.

The aim of the FME Teaching Committee is to support a worldwide improvement in learning formal methods, mainly by teaching but also via self-learning.