An Experience Report on Using FormalZ in a Class

To assess the IMPRESS results, they are being used in class. The following describes an experience report based on a study carried out during the course Software Testing & Verification at Utrecht University, the Netherlands. The course took place in the 4th quarter of the academic year 2018/19.