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

The terms 'esoteric' and 'exoteric' are used in German idealistic philosophy for the view from the inside (of the thinking process) and from the outside (on the thoughts that result). They can also be used to present new perspectives of homoeopathy. Homoeopathic literature generally explains homoeopathy esoterically, i.e. as seen through the eyes of devoted practitioners, in terms of faithful o...