Secret Ninja Formal Methods

The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric for use in undergraduate classes. This paper describes a method, used successfully at several universities, that combines ninja stealth with the latest advances in formal methods tools and technologies to integrate applied formal methods into software engineering courses. 1 Enter the Ninja Software development tools and techniques based on formal methods hold great promise for improving software quality. Unfortunately, many undergraduate computer science and software engineering curricula include no formal methods in

• Type: Conference
• Year: 2008
• Where: FM
• Authors: Joseph R. Kiniry, Daniel M. Zimmerman
• Keywords: Applied Formal Methods, FM 2008, Formal Methods, Formal Methods Tools