Verified Gaming

Joe Kiniry gave the following talk entitled Verified Gaming at the Workshop on Grand Challenge Pilot Projects at Formal Methods 2008.

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.