Support for Teaching Formal Methods Report of the ITiCSE 2000 Working Group on Formal Methods Education

Abstract

This report describes a growth path for the area referred to as formal methods within the computing education community. We define the term formal methods and situate it within our field by highlighting its role i