Use of a specification construction and animation tool to teach formal methods.

Ian C. Morrey, Jawed I. A. Siddiqi, Graham Buckberry, Richard Hibberd

Browse the full COMPSAC paper archive.