Using Z3 with 900 first-year students

Sebastian Erdweg


Date: Wed, November 21, 2018
Time: 12:00
Room: COLLOQUIUMZAAL 0.E420


To make the first-year course Reasoning & Logic more tangible, we added a project to it. In the project, students write formal specifications that are automatically checked by Z3. I will explain the setup and results of this project and what conclusions we have drawn from using Z3 with 900 first-year students.


Previous: Erwin Gribnau |
Next: Ioannis Papadopoulos |