Evaluating a formal methods technique via student assessed exercises

Donaldson, A.F. and Miller, A. (2006) Evaluating a formal methods technique via student assessed exercises. In: Boute, R.T. and Oliveira, J.N. (eds.) Formal Methods in the Teaching Lab: Examples, Cases, Assignments and Projects Enhancing Formal Methods Education. A Workshop at the Formal Methods 2006 Symposium, Hamilton, Ontario, Canada, 26 Aug 2006. McMaster University: Hamilton, ON, Canada, pp. 93-98.

Full text not currently available from Enlighten.

Publisher's URL: http://www3.di.uminho.pt/FME-SoE/FMEd06/#prc


We present a case study in evaluating a formal methods technique, using student assessed exercise solutions as sample input to SymmExtractor, a symmetry detection tool for the SPIN model checker. We discuss the ethical procedure which must be followed when using student programs for research, and present the results of our evaluation.

Item Type:Book Sections
Glasgow Author(s) Enlighten ID:Miller, Professor Alice
Authors: Donaldson, A.F., and Miller, A.
College/School:College of Science and Engineering > School of Computing Science
Publisher:McMaster University

University Staff: Request a correction | Enlighten Editors: Update this record