HOME SCHEDULE EXERCISES ASSIGNMENTS BOOK ZOOM FIRE TIME-EDIT
SCHEDULE EXERCISES ASSIGNMENTS BOOK ZOOM FIRE TIME-EDIT

In this lecture, Nick Smallbone will talk about tools developed at our department to do automated reasoning about programs.

QuickCheck, for automated testing of programs,

QuickSpec, for automated property discovery of programs,

Twee, for automated equality reasoning,

and HipSpec, for automated structural induction.

We will also have time for talking more abour Graphs. If you have any topic about graphs you would like me to talk about, send me an e-mail before Friday 16:00, with subject GRAPH.