Using Z3 with 900 first-year students
Date: Wed, November 21, 2018
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.
Erwin Gribnau | Should we leave C behind us?
Next: Ioannis Papadopoulos | Testing Code Generators against Definitional Interpreters