Integrating Formal Methods Tools Into Undergraduate Computer Science Curriculum

摘要

In this paper we describe a recently NSF-funded project that is based on the power of an innovative teaching approach, which combines the traditional teaching models and adds the use of automated software tools to enhance the student's learning experience.