Secret ninja formal methods
JR Kiniry, DM Zimmerman - International Symposium on Formal Methods, 2008 - Springer
International Symposium on Formal Methods, 2008•Springer
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.
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.
Abstract
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.
Springer
Showing the best result for this search. See all results