Using Z3 with 900 first-year students

Sebastian Erdweg

Date: Wed, November 21, 2018
Time: 12:00

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: |