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.
![](https://impress-project.eu/wp-content/uploads/2019/11/IMPRESS-O3-FormalZ-Experience-Report-724x1024.png)