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.
|